João Miguel Lobo Fernandes


AuthID: R-000-77X

Publicações Confirmadas: 50



31
TÍTULO: Translating synchronous Petri nets into PROMELA for verifying behavioural properties
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
32
TÍTULO: Validation of reactive software from scenario-based models
AUTORES: Ribeiro, OR; Fernandes, JM ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
33
TÍTULO: A demonstration case on the transformation of software architectures for service specification  Full Text
AUTORES: Joao M Fernandes ; Ricardo J Machado ; Paula Monteiro; Helena Rodrigues ;
PUBLICAÇÃO: 2006, FONTE: Working Conference on Distributed and Parallel Embedded Systems in FROM MODEL-DRIVEN DESIGN TO RESOURCE MANAGEMENT FOR DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 225
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
34
TÍTULO: A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles
AUTORES: João M Fernandes ; Ricardo Jorge Machado ;
PUBLICAÇÃO: 2006, FONTE: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia
INDEXADO EM: DBLP
35
TÍTULO: A two-year software engineering M.Sc. degree designed under the bologna declaration principles
AUTORES: Fernandes, JM ; Machado, RJ ;
PUBLICAÇÃO: 2006, FONTE: 2006 International Conference on Software Engineering Advances, ICSEA'06 in 2006 International Conference on Software Engineering Advances, ICSEA'06
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
36
TÍTULO: Integration of DFDs into a UML-based model-driven engineering approach  Full Text
AUTORES: Fernandes, JM ; Lilius, J; Truscan, D;
PUBLICAÇÃO: 2006, FONTE: Software and Systems Modeling, VOLUME: 5, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
37
TÍTULO: Refinement of software architectures by recursive model transformations
AUTORES: Ricardo J Machado ; Joao M Fernandes ; Paula Monteiro; Helena Rodrigues ;
PUBLICAÇÃO: 2006, FONTE: 7th International Conference on Product-Focused Software Process Improvement in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, VOLUME: 4034
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
38
TÍTULO: Towards a catalogue of refactorings and code smells for AspectJ
AUTORES: Monteiro, MP ; Fernandes, JM ;
PUBLICAÇÃO: 2006, FONTE: TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT I, VOLUME: 3880
INDEXADO EM: Scopus WOS
NO MEU: ORCID
39
TÍTULO: A reference framework for process-oriented software development organizations  Full Text
AUTORES: Fernandes, JM ; Duarte, FJ;
PUBLICAÇÃO: 2005, FONTE: Software and Systems Modeling, VOLUME: 4, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
40
TÍTULO: Model checking embedded systems with PROMELA
AUTORES: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLICAÇÃO: 2005, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 4 de 5. Total de resultados: 50.

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service