21
TITLE: Towards a Mobile Application for an Engineering Geology Course A Contribution to Improved Student Learning
AUTHORS: Joao Paulo Barros; Pedro Caixinha; Sofia Soares;
PUBLISHED: 2016, SOURCE: 8th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 2 (CSEDU)
INDEXED IN: WOS
22
TITLE: Executable models for embedded controllers development - A cloud based development framework
AUTHORS: Pereira, F; Moutinho, F; Barros, JP; Costa, A; Gomes, L;
PUBLISHED: 2015, SOURCE: MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 in CEUR Workshop Proceedings, VOLUME: 1554
INDEXED IN: Scopus
23
TITLE: Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
AUTHORS: Isabel Sofia Brito; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
24
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXED IN: WOS
25
TITLE: Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models
AUTHORS: Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
26
TITLE: Requirements Specification for Controller Design - from Use Cases to IOPT Net Models
AUTHORS: Joao Paulo Barros; Isabel Sofia Brito; Luis Gomes;
PUBLISHED: 2014, SOURCE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
27
TITLE: Extending input-output place-transition Petri nets for distributed controller systems development
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXED IN: Scopus CrossRef
28
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: WOS
29
TITLE: Coloured Petri net model of the bCMS system using CPN tools
AUTHORS: Brito, IS; Barros, JP;
PUBLISHED: 2013, SOURCE: 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 in 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 - Proceedings
INDEXED IN: Scopus CrossRef
30
TITLE: Curricular Unit Specification for Programme Assessment Fostering teacher reflection, while improving course catalogues
AUTHORS: Joao Paulo Barros;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXED IN: Scopus WOS CrossRef
Page 3 of 5. Total results: 42.