João Miguel Lobo Fernandes
AuthID: R-000-77X
71
TÃTULO: Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010) Full Text
AUTORES: Luis Gomes; Victor Khomenko; Joao Fernandes;
PUBLICAÇÃO: 2011, FONTE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 5, NÚMERO: 6
AUTORES: Luis Gomes; Victor Khomenko; Joao Fernandes;
PUBLICAÇÃO: 2011, FONTE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 5, NÚMERO: 6
INDEXADO EM: 
WOS 
CrossRef
WOS CrossRef72
TÃTULO: Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
AUTORES: João M Fernandes; Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: GTTSE, VOLUME: 6491
AUTORES: João M Fernandes; Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: GTTSE, VOLUME: 6491
INDEXADO EM: 
DBLP CrossRef
DBLP CrossRef73
TÃTULO: Preface
AUTORES: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6491 LNCS
AUTORES: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6491 LNCS
INDEXADO EM: 
Scopus
Scopus74
TÃTULO: Preface
AUTORES: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLICAÇÃO: 2010, FONTE: Recent Advances in Petri Nets and Concurrency, RAPNeC 2010 - Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010 and the 10th int. conf. ACSD 2010 in CEUR Workshop Proceedings, VOLUME: 827
AUTORES: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLICAÇÃO: 2010, FONTE: Recent Advances in Petri Nets and Concurrency, RAPNeC 2010 - Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010 and the 10th int. conf. ACSD 2010 in CEUR Workshop Proceedings, VOLUME: 827
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID75
TÃTULO: Scenario-based modeling in industrial information systems
AUTORES: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLICAÇÃO: 2010, FONTE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
AUTORES: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLICAÇÃO: 2010, FONTE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID76
TÃTULO: Behavioral Modeling for Embedded Systems and Technologies. Applications for Design and Implementation
AUTORES: Luís Gomes; João M Fernandes;
PUBLICAÇÃO: 2010
AUTORES: Luís Gomes; João M Fernandes;
PUBLICAÇÃO: 2010
77
TÃTULO: Preface: ICSEA 2009
AUTORES: Boness, K; Dini, P; Hall, JG; Kaindl, H; Kirchberg, M; Lopes, SF; Mannaert, H; Oberhauser, R; Oquendo, F; Pasic, A; Breivold, HP; Takaki, O; Wiemann, M; Fernandes, JM; Machado, RJ ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software in 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
AUTORES: Boness, K; Dini, P; Hall, JG; Kaindl, H; Kirchberg, M; Lopes, SF; Mannaert, H; Oberhauser, R; Oquendo, F; Pasic, A; Breivold, HP; Takaki, O; Wiemann, M; Fernandes, JM; Machado, RJ ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software in 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
78
TÃTULO: Preface
AUTORES: Gomes, L; Fernandes, JM;
PUBLICAÇÃO: 2009, FONTE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
AUTORES: Gomes, L; Fernandes, JM;
PUBLICAÇÃO: 2009, FONTE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID79
TÃTULO: Formal requirements modelling with executable use cases and coloured Petri nets Full Text
AUTORES: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLICAÇÃO: 2009, FONTE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, NÚMERO: 1
AUTORES: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLICAÇÃO: 2009, FONTE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, NÚMERO: 1
80
TÃTULO: Model-driven development for pervasive information systems
AUTORES: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLICAÇÃO: 2008, FONTE: Advances in Ubiquitous Computing: Future Paradigms and Directions
AUTORES: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLICAÇÃO: 2008, FONTE: Advances in Ubiquitous Computing: Future Paradigms and Directions
