João Miguel Lobo Fernandes


AuthID: R-000-77X

Confirmed Publications: 50



31
TITLE: Translating synchronous Petri nets into PROMELA for verifying behavioural properties
AUTHORS: Oscar R Ribeiro; Joao M Fernandes ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
32
TITLE: Validation of reactive software from scenario-based models
AUTHORS: Ribeiro, OR; Fernandes, JM ;
PUBLISHED: 2007, SOURCE: 6th International Conference on the Quality of Information and Communications Technology in QUATIC 2007: 6TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
33
TITLE: A demonstration case on the transformation of software architectures for service specification  Full Text
AUTHORS: Joao M Fernandes ; Ricardo J Machado ; Paula Monteiro; Helena Rodrigues ;
PUBLISHED: 2006, SOURCE: Working Conference on Distributed and Parallel Embedded Systems in FROM MODEL-DRIVEN DESIGN TO RESOURCE MANAGEMENT FOR DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 225
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
34
TITLE: A two-year software engineering M.Sc. degree designed under the bologna declaration principles
AUTHORS: Fernandes, JM ; Machado, RJ ;
PUBLISHED: 2006, SOURCE: 2006 International Conference on Software Engineering Advances, ICSEA'06 in 2006 International Conference on Software Engineering Advances, ICSEA'06
INDEXED IN: Scopus CrossRef
IN MY: ORCID
35
TITLE: A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles
AUTHORS: João M Fernandes ; Ricardo Jorge Machado ;
PUBLISHED: 2006, SOURCE: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia
INDEXED IN: DBLP
36
TITLE: Integration of DFDs into a UML-based model-driven engineering approach  Full Text
AUTHORS: Fernandes, JM ; Lilius, J; Truscan, D;
PUBLISHED: 2006, SOURCE: Software and Systems Modeling, VOLUME: 5, ISSUE: 4
INDEXED IN: Scopus CrossRef
IN MY: ORCID
37
TITLE: Refinement of software architectures by recursive model transformations
AUTHORS: Ricardo J Machado ; Joao M Fernandes ; Paula Monteiro; Helena Rodrigues ;
PUBLISHED: 2006, SOURCE: 7th International Conference on Product-Focused Software Process Improvement in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, VOLUME: 4034
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
38
TITLE: Towards a catalogue of refactorings and code smells for AspectJ
AUTHORS: Monteiro, MP ; Fernandes, JM ;
PUBLISHED: 2006, SOURCE: TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT I, VOLUME: 3880
INDEXED IN: Scopus WOS
IN MY: ORCID
39
TITLE: A reference framework for process-oriented software development organizations  Full Text
AUTHORS: Fernandes, JM ; Duarte, FJ;
PUBLISHED: 2005, SOURCE: Software and Systems Modeling, VOLUME: 4, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
40
TITLE: Model checking embedded systems with PROMELA
AUTHORS: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Página 4 de 5. Total de resultados: 50.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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