Skip navigation

Browsing by Author Barros, João Paulo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 34  next >
This table browses all dspace content
Issue DateTitleAuthor(s)TypeAccess Type
2011An Ecore based Petri net type definition for PNML IOPT models20.500.12207/646Ribeiro, J.; Moutinho, F.; Pereira, F.; Barros, João Paulo; Gomes, L.conferenceObjectinfo:eu-repo/semantics/closedAccess
Oct-2010Assessment and grading for CS1: towards a complete toolbox of criteria and techniques20.500.12207/634Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2005A Case Study on Coloured Petri Nets in object-oriented analysis and design20.500.12207/238Barros, João Paulo; Jørgensen, Jens BækarticleopenAccess
2011Concepções sobre qualidade de ensino em estabelecimentos de ensino superior público em Portugal20.500.12207/559Martins, Maria; Oliveira, Teresa; Barros, João Paulo; Espírito Santo, José; Trindade, Vítor; Bonito, JorgearticleopenAccess
1996CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise20.500.12207/266Barros, João PaulomasterThesisopenAccess
31-Oct-2013Curricular unit specification for programme assessment: fostering teacher reflection, while improving course catalogues20.500.12207/697Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
Nov-2010Ecore representation for extending PNML for input-output place-transition nets20.500.12207/635Moutinho, F.; Gomes, L.; Ramalho, F.; Figueiredo, J.; Barros, João Paulo; Barbosa, P.; Pais, Rui; Costa, A.conferenceObjectinfo:eu-repo/semantics/closedAccess
Jul-2012Educating for mobile computing: addressing the new challenges20.500.12207/651Burd, Barry; Barros, João Paulo; Johnson, Chris M.; Kurkovsky, Stan; Rosenbloom, Arnold; Tillman, NikolaiconferenceObjectinfo:eu-repo/semantics/closedAccess
3-Jul-2012Educating for mobile computing: addressing the new challenges20.500.12207/658Burd, B.; Barros, João Paulo; Johnson, C.; Kurkovsky, S.; Rosenbloom, A.; Tillman, N.conferenceObjectinfo:eu-repo/semantics/closedAccess
2014Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development20.500.12207/4470Gomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/restrictedAccess
Jul-2013From concrete to abstract: about teaching UML class diagrams to novice programmers20.500.12207/661Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
Jul-2010From Petri net models to C implementation of digital controllers20.500.12207/637Gomes, L.; Rebelo, R.; Barros, João Paulo; Costa, A.; Pais, R.conferenceObjectinfo:eu-repo/semantics/closedAccess
2014From SysML State Machines to Petri Nets using ATL Transformations20.500.12207/4472Pais, Rui; Barros, João Paulo; Gomes, Luísarticleinfo:eu-repo/semantics/restrictedAccess
Nov-2011From UML State Machines to Petri nets: history attribute translation strategies20.500.12207/648Pais, Rui; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2011Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming20.500.12207/655Barros, João Paulo; Biscaia, Luís; Vitória, MiguelconferenceObjectinfo:eu-repo/semantics/closedAccess
2013Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
2012Model composition by reusing Petri net based modules20.500.12207/652Costa, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2006Modularidade em Redes de Petri20.500.12207/275Barros, João PaulodoctoralThesisopenAccess
2014On the Description of Individual Course Units for Programme Assessment and 
Better Syllabuses20.500.12207/4479Barros, João Pauloarticleinfo:eu-repo/semantics/openAccess
Oct-2007On the use of programming languages for textual specification of Petri Net Models20.500.12207/237Barros, João Paulo; Gomes, LuísarticleopenAccess