João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 34



1
TITLE: From concrete to abstract: About teaching UML class diagrams to novice programmers
AUTHORS: Barros, JP ;
PUBLISHED: 2013, SOURCE: 8th International Joint conference on Software Technologies, ICSOFT 2013 in ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
INDEXED IN: Scopus
IN MY: ORCID
2
TITLE: SmartRestaurant: A report on the development of a NFC-based mobile application
AUTHORS: Rosa, V; Brito, I ; Barros, JP ;
PUBLISHED: 2013, SOURCE: 8th International Joint conference on Software Technologies, ICSOFT 2013 in ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
INDEXED IN: Scopus
IN MY: ORCID
3
TITLE: Educating for mobile computing: Addressing the new challenges
AUTHORS: Burd, B; Barros, JP ; Johnson, C; Kurkovsky, S; Rosenbloom, A; Tillman, N;
PUBLISHED: 2012, SOURCE: 2012 Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2012 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
INDEXED IN: Scopus
IN MY: ORCID
4
TITLE: Model composition by reusing Petri net based modules
AUTHORS: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
AUTHORS: Joao Paulo Barros ; Luis Gomes ; Aniko Costa ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Towards a complete description for individual course units: A follow-up to the Bologna proposals
AUTHORS: Barros, JP ; Gomes, L ; Garcia, L;
PUBLISHED: 2012, SOURCE: 2012 15th International Conference on Interactive Collaborative Learning, ICL 2012 in 2012 15th International Conference on Interactive Collaborative Learning, ICL 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTHORS: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: From UML State Machines to Petri nets: History Attribute Translation Strategies
AUTHORS: Pais, R; Gomes, L ; Barros, JP ;
PUBLISHED: 2011, SOURCE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Java2Sequence - A tool for the visualization of object-oriented programs in introductory programming
AUTHORS: Barros, JP ; Biscaia, L; Vitoria, M;
PUBLISHED: 2011, SOURCE: 16th Annual Conference on Innovation and Technology in Computer Science, ITiCSE'11 in ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science
INDEXED IN: Scopus
IN MY: ORCID
10
TITLE: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTHORS: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 4. Total results: 34.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service