Showing results 14 to 33 of 53
< previous
next >
This table browses all dspace content
Issue Date | Title | Author(s) | Type | Access Type |
Jul-2013 | From concrete to abstract: about teaching UML class diagrams to novice programmers20.500.12207/661 | Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
Jun-2019 | From non-autonomous Petri net models to executable state machines20.500.12207/4968 | Barros, João Paulo; Gomes, Luís | article | embargoedAccess |
Jul-2010 | From Petri net models to C implementation of digital controllers20.500.12207/637 | Gomes, L.; Rebelo, R.; Barros, João Paulo; Costa, A.; Pais, R. | conferenceObject | info:eu-repo/semantics/closedAccess |
2016 | From requirements to code (Re2Code) – A model-based approach for controller implementation20.500.12207/5921 | Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luis | article | restrictedAccess |
19-Jul-2016 | From requirements to code (Re2Code): A model-based approach for controller implementation20.500.12207/4790 | Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luís | conferenceObject | closedAccess |
2014 | From SysML State Machines to Petri Nets using ATL Transformations20.500.12207/4472 | Pais, Rui; Barros, João Paulo; Gomes, Luís | article | info:eu-repo/semantics/restrictedAccess |
Nov-2011 | From UML State Machines to Petri nets: history attribute translation strategies20.500.12207/648 | Pais, Rui; Gomes, Luís; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
Oct-2019 | Host card emulation with tokenisation: security risk assessment20.500.12207/5056 | Fonte, Luís Pereira da; Oliveira, Valentim Vieira; Barros, João Paulo | article | openAccess |
2011 | Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming20.500.12207/655 | Barros, João Paulo; Biscaia, Luís; Vitória, Miguel | conferenceObject | info:eu-repo/semantics/closedAccess |
2013 | Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704 | Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando | bookPart | info:eu-repo/semantics/closedAccess |
Oct-2019 | Model based simulation for a smartcity project based on LoRa20.500.12207/5057 | Mesquita, Rui; Campos-Rebelo, Rogério; Barros, João Paulo | article | embargoedAccess |
2012 | Model composition by reusing Petri net based modules20.500.12207/652 | Costa, Aniko; Gomes, Luís; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
2006 | Modularidade em Redes de Petri20.500.12207/275 | Barros, João Paulo | doctoralThesis | openAccess |
27-Apr-2020 | Moving to project-based learning at the program level: An experience report20.500.12207/5919 | Brito, Isabel Sofia; Barros, João Paulo; Rodrigues, Elsa | article | restrictedAccess |
2014 | On the Description of Individual Course Units for Programme Assessment and
Better Syllabuses20.500.12207/4479 | Barros, João Paulo | article | info:eu-repo/semantics/openAccess |
Oct-2007 | On the use of programming languages for textual specification of Petri Net Models20.500.12207/237 | Barros, João Paulo; Gomes, Luís | article | openAccess |
Oct-2012 | On the verification of non-autonomous Petri net models using autonomous petri net tools20.500.12207/659 | Barros, João Paulo; Gomes, Luis; Costa, Aniko | conferenceObject | info:eu-repo/semantics/closedAccess |
Feb-2011 | Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654 | Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, Andre | conferenceObject | info:eu-repo/semantics/closedAccess |
Nov-2009 | PNML based composition in non-autonomous Petri net models20.500.12207/514 | Gomes, L.; Barros, João Paulo | conferenceObject | closedAccess |
Jun-2023 | Prevendo o futuro: Uma plataforma web para modelação de séries temporais20.500.12207/6034 | Vidal, Adriano; Brito, Isabel Sofia; Barros, João Paulo; Domingues, Luís | bookPart | closedAccess |