João Miguel Lobo Fernandes
|
|
Data da última atualização
»Last update
:
14/11/2016 |
Dados pessoais (Personal data)
Nome completo
Full name |
João Miguel Lobo Fernandes |
Nome em citações bibliográficas
Quoting name |
Fernandes, João M. |
Domínio científico de atuação
Scientific domain |
Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.
|
Endereço profissional
Professional address |
Universidade do Minho Escola de Engenharia Departamento de Informática Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604454 Fax: (+351)253604471 Correio electrónico: jmf@di.uminho.pt Homepage: http://www.di.uminho.pt/~jmf |
Sexo
Gender |
Masculino»Male |
Graus Académicos
(Academic Degrees)
2011 |
Agregação Aggregation |
Universidade do Minho,
Portugal.
|
1995-2000 |
Doutoramento Phd |
Doutoramento em Informática.
Universidade do Minho,
Portugal.
|
1992-1994 |
Mestrado Master degree |
Informática.
Universidade do Minho,
Portugal.
|
1986-1991 |
Licenciatura Licentiate degree |
Engenharia de Sistemas e Informática.
Universidade do Minho,
Portugal.
|
Línguas (Languages)
Compreende Understandig |
Português (Bem), Inglês (Bem), Espanhol (Bem), Francês (Razoavelmente), Italiano (Bem). |
Fala Speaking |
Português (Bem), Inglês (Bem), Espanhol (Bem), Francês (Razoavelmente), Italiano (Pouco). |
Lê Reading |
Português (Bem), Inglês (Bem), Espanhol (Bem), Francês (Bem), Italiano (Razoavelmente). |
Escreve Writing |
Português (Bem), Inglês (Bem), Espanhol (Bem), Francês (Pouco), Italiano (Pouco). |
Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Out/2006 - Actual |
IFIP W.G. 10.2 (Embedded Systems), Membro fundador.
|
Jan/2003 - Actual |
IFIP W.G. 9.7 (History of Computing), Membro.
|
Out/2000 - Out/2006 |
IFIP SIG-ES (Special Interest Group on Embedded Systems), Membro fundador.
|
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
Livros publicados/organizados ou edições Published/organized books or Editions |
1. |
Fernandes, J.M.; Machado, R.J.. 2015. Requirements in Engineering Projects. ed. 1. Cham, Switzerland: Springer. |
|
|
|
2. |
Donatelli, Susanna; Kleijn, Jetty; Machado, Ricardo J; Fernandes, João M. 2012. Atas de workshops. ed. 1, 1 vol.. Aachen, Alemanha: CEUR-WS.
|
|
|
|
3. |
Fernandes, João M; Lämmel, Ralf; Visser, Joost; Saraiva, João. 2011. Generative and Transformational Techniques in Software Engineering III. ed. 1, ISBN: 978-3-642-18022-4. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
4. |
Botterweck, Goetz; Lamb, Luis; Fernandes, João M. 2010. Proceedings of 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010). ed. 1, 1 vol., ISBN: 978-1-4503-0123-7. New York: ACM Digital Library. |
|
|
|
5. |
Gomes, Luís; Fernandes, João M. eds. 2010. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation ed. 1, 1 vol., ISBN: 978-1-60566-750-8. Hershey, Pensilvânia, E.U.A.: IGI Global. |
|
|
|
6. |
Gomes, Luís; Khomenko, Victor; Fernandes, João M. eds. 2010. Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010) ed. 1, 1 vol., ISBN: 978-0-7695-4066-5. Los Alamitos, Califórnia, EUA: IEEE Computer Society Press. |
|
|
|
7. |
Fernandes, João M; Lamb, Luis; Machado, Ricardo J; Wagner, Flávio R. eds. 2009. Proceedings of 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009) ed. 1, 1 vol., ISBN: 978-1-4244-3721-4. E.U.A.: IEEE. |
|
|
|
8. |
Machado, Ricardo J; Fernandes, João M; Wagner, Flávio R; Kazman, Rick. eds. 2008. Proceedings of 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008) ed. 1, ISBN: 0-7695-3104-0. Los Alamitos, Califórnia: IEEE Computer Society Press.
|
|
|
|
9. |
Fernandes, João M; Machado, Ricardo J; Khedri, Ridha; Clarke, Siobhán. eds. 2007. Proceedings of 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007) ed. 1, 1 vol., ISBN: 0-7695-2769-8. Los Alamitos, Califórnia, EUA: IEEE Computer Society Press.
|
|
|
|
10. |
Machado, Ricardo J; Fernandes, João M; Schätz, Bernhard; Riebisch, Matthias. eds. 2006. Proceedings of Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems (MBD) and 3rd International
Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2006) ed. 1, ISBN: 0-7695-2538-5. Los Alamitos, Califórnia, EUA: IEEE Computer Society Press. |
|
|
|
11. |
Lilius, Johan; Machado, Ricardo J; Truscan, Dragos; Fernandes, João M. eds. 2005. Proceedings of the 2nd Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2005) ed. 39, 1 vol., ISBN: 952-12-1556-9. Turku, Finlândia: TUCS General Publication.
|
|
|
|
12. |
Fernandes, João M; Lilius, Johan; Machado, Ricardo J; Porres, Ivan. eds. 2004. Proceedings of the 1st Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2004) ed. 1, 1 vol., ISBN: 952-12-1359-0. Turku, Finlândia: TUCS General Publication.
|
|
|
|
Capítulos de livros publicados Published book chapters |
1. |
Fernandes, J.M.; Ferreira, A.L.. 2016. Quality attributes for mobile applications. In Modern Software Engineering Methodologies for Mobile and Cloud Environments, 141 - 154. . Hershey, Pensilvânia, EUA: IGI Global. |
|
|
|
2. |
Santos, Nuno; Barbosa, Diogo; Maia, Paulo; Fernandes, Fábio A; Rebelo, Márcio P; Silva, Pedro V; Sameiro Carvalho, M; Fernandes, João M; Machado, Ricardo J. 2016. iFloW: An Integrated Logistics Software System for Inbound Supply Chain Traceability. In Enterprise Interoperability VII, ed. Kai MertinsRicardo Jardim-GonçalvesKeith PopplewellJoão P. Mendonça, 187 - 197. ISBN: 978-3-319-30956-9. Cham: Springer International Publishing.
|
|
|
|
3. |
Monteiro, M. P; Fernandes, João M. 2011. Aspect-oriented refactoring of Java programs. In Java in Academia and Research, ed. Ke Cai, 141 - 158. ISBN: 978-0980733082. Annerley, Austrália: iConcept Press. |
|
|
|
4. |
Duarte, Francisco; Fernandes, João M; Machado, Ricardo J. 2006. Business Modeling in Process-Oriented Organizations for RUP-based Software Development. In Reference Modeling for Business Systems Analysis, ed. Peter Fettke, Peter Loos, 98 - 117. ISBN: 1-59904-054-9. Hershey, Pensilvânia, EUA: Idea Group. |
|
|
|
5. |
Machado, Ricardo J; Ramos, Isabel; Fernandes, João M. 2005. Specification of Requirements Models. In Engineering and Managing Software Requirements, ed. Aybüke Aurum,Claes Wohlin, 47 - 68. ISBN: 3-540-25043-3. Heidelberg, Alemanha: Springer.
|
|
|
|
6. |
Machado, Ricardo J; Fernandes, João M; Esteves, António; Santos, Henrique D. 2000. An Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW/SW Co-Design. In Hardware Design and Petri Nets, ed. Alex Yakovlev, Luís Gomes, Luciano Lavagno, 205 - 222. ISBN: 0-7923-7791-5. Boston, Massachussets, EUA: Kluwer Academic Publishers. |
|
|
|
Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing |
1. |
Garousi, V.; Fernandes, J.M.. 2016. "Highly-cited papers in software engineering: The top-100", Information and Software Technology 71, -: 108 - 128.
|
|
|
|
2. |
Passarini, R.F.; Farines, J.-M.; Fernandes, J.M.; Becker, L.B.. 2015. "Cyber-physical systems design: transition from functional to architectural models", Design Automation for Embedded Systems 19, 4: 345 - 366. |
|
|
|
3. |
Fernandes, João M; van Hattum-Janssen, N; Ribeiro, António N; Fonte, Victor; Santos, Luís P; Sousa, Pedro. 2012. "An integrated approach to develop professional and technical skills for informatics engineering students", European Journal of Engineering Education 37, 2: 167 - 177.
|
|
|
|
4. |
Jorgensen, Jens B; Tjell, Simon; Fernandes, João M. 2009. "Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets", Innovations in Systems and Software Engineering 5, 1: 13 - 25.
|
|
|
|
5. |
Larsen, Peter G; Fernandes, João M; Habel, Jacek; Lehrskov, Hanne; Vos, Richard J; Wallington, Oliver; Zidek, Jan. 2009. "A Multidisciplinary Engineering Summer School in an Industrial Setting", European Journal of Engineering Education 34, 6: 511 - 526.
|
|
|
|
6. |
Monteiro, M. P; Fernandes, João M. 2008. "An Illustrative Example of Refactoring Object-oriented Source Code with Aspect-oriented Mechanisms", Software: Practice and Experience 38, 4: 316 - 396.
|
|
|
|
7. |
Fernandes, João M; Monteiro, M. P. 2006. "Towards a Catalogue of Refactorings and Code Smells for AspectJ", Transactions on Aspect-Oriented Software Development, I: 214 - 258.
|
|
|
|
8. |
Fernandes, João M; Lilius, Johan; Truscan, Dragos. 2006. "Integration of DFDs into a UML-based Model-Driven Engineering Approach", Software and Systems Modeling (SoSyM) 5, 4: 403 - 428.
|
|
|
|
9. |
Fernandes, João M; Duarte, Francisco. 2005. "A Reference Framework for Process-Oriented Software Development Organizations", Software and Systems Modeling 4, 1: 94 - 105.
|
|
|
|
10. |
Lilius, Johan; Machado, Ricardo J; Truscan, Dragos; Fernandes, João M; Porres, Ivan. 2005. "Guest Editors' Foreword", Nordic Journal of Computing 12, 3: 198 - 199. |
|
|
|
11. |
Fernandes, João M; Adamski, Marian; Proença, Alberto J. 1997. "VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers", IEE Proceedings: Computers and Digital Techniques 144, 2: 127 - 137.
|
|
|
|
12. |
Santos, Henrique D; Ramalho, José C; Fernandes, João M; Proença, Alberto J. 1995. "A Heterogeneous Computer Vision Architecture: Implementation Issues", Computing Systems in Engineering 6, 4/5: 401 - 408.
|
|
|
|
Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing |
1. |
Duarte, Francisco; Machado, Ricardo J; Fernandes, João M. 2012. "BIM: a methodology to transform business processes into software systems", Trabalho apresentado em Software Quality Days (SWQD 2012), In Software Quality Days (SWQD 2012), Viena, Áustria. |
|
|
|
2. |
Campos, Diogo; Lima, Rui M; Fernandes, João M. 2012. "Identification and assessment of behavioural competences in multidisciplinary teams within design projects", Trabalho apresentado em 4th International Symposium on Project Approaches in Engineering Education (PAEE 2012), In 4th International Symposium on Project Approaches in Engineering Education (PAEE 2012), São Paulo. |
|
|
|
3. |
van Hattum-Janssen, N; Fernandes, João M. 212. "Peer feedback: quality and quantity in large groups", Trabalho apresentado em 40th SEFI Annual Conference (SEFI 2012), In 40th SEFI Annual Conference (SEFI 2012), Salónica, Grécia. |
|
|
|
4. |
Silva, Diogo; Belo, Orlando; Fernandes, João M. 212. "Colored Petri nets in the simulation of ETL standard tasks: the surrogate key pipelining case", Trabalho apresentado em 26th European Simulation and Modelling Conference (ESM 2012), In 26th European Simulation and Modelling Conference (ESM 2012), Essen, Alemanha. |
|
|
|
5. |
van Hattum-Janssen, N; Fernandes, João M. 2011. "Peer-assessment in projects: an analysis of qualitative feedback", Trabalho apresentado em 3rd International Symposium on Project Approaches in Engineering Education (PAEE 2011), In 3rd International Symposium on Project Approaches in Engineering Education (PAEE 2011), Lisboa, Portugal. |
|
|
|
6. |
Fernandes, João M; Sousa, Sónia M. 2010. "PlayScrum - A Card Game to Learn the Scrum Agile Method", Trabalho apresentado em 2nd International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES 2010), In 2nd International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES 2010), Braga.
|
|
|
|
7. |
Fernandes, João M; Almeida, Mauro. 2010. "A Technique to Classify and Compare Agile Methods", Trabalho apresentado em 11th International Conference on Agile Software Development (XP 2010), In Agile Processes in Software Engineering and Extreme Programming, Trondheim.
|
|
|
|
8. |
Machado, Ricardo J; Fernandes, João M; Barros, João P; Gomes, Luís. 2010. "Scenario-based Modeling in Industrial Information Systems", Trabalho apresentado em 7th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), In Distributed, Parallel and Biologically Inspired Systems, Brisbane.
|
|
|
|
9. |
Fernandes, João M; Almeida, Mauro. 2010. "Classification and Comparison of Agile Methods", Trabalho apresentado em 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), In 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), Porto.
|
|
|
|
10. |
Silva, José L; Ribeiro, Óscar R; Campos, José C; Fernandes, João M; Harrison, Michael D. 2010. "The APEX Framework: Prototyping of Ubiquitous Environments based on Petri Nets", Trabalho apresentado em 3rd Conference on Human-Centred Software Engineering (HCSE 2010), In 3rd Conference on Human-Centred Software Engineering (HCSE 2010), Reiquiavique. |
|
|
|
11. |
Fernandes, João M; Machado, Ricardo J; Seidman, Stephen B. 2009. "A Requirements Engineering and Management Training Course for Software Development Professionals", Trabalho apresentado em 22th IEEE-CS Conference on Software Engineering Education & Training (CSEE&T 2009), In 22th IEEE-CS Conference on Software Engineering Education & Training (CSEE&T 2009), Hyderabad.
|
|
|
|
12. |
Ribeiro, Óscar R; Fernandes, João M. 2009. "Validation of Scenario-based Business Requirements with Coloured Petri Nets", Trabalho apresentado em 4th International Conference on Software Engineering Advances (ICSEA 2009), In 4th International Conference on Software Engineering Advances (ICSEA 2009), Porto.
|
|
|
|
13. |
Tjell, Simon; Fernandes, João M. 2008. "Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables", Trabalho apresentado em 6th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), In Distributed Embedded Systems: Design, Middleware and Resources, Milão. |
|
|
|
14. |
Fernandes, João M; Tjell, Simon; Jorgensen, Jens B; Ribeiro, Óscar R. 2007. "Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net", Trabalho apresentado em 6th International Workshop on Scenarios and State Machines (SCESM 2007), In 29th International Conference on Software Engineering Workshops, Minneapolis, Minnesota.
|
|
|
|
15. |
Fernandes, João M; Ribeiro, Óscar R. 2007. "Translating Synchronous Petri Nets into PROMELA for Verification of Behavioural Properties", Trabalho apresentado em 2nd IEEE International Symposium on Industrial Embedded Systems (SIES 2007), In 2nd IEEE International Symposium on Industrial Embedded Systems (SIES 2007), Lisboa.
|
|
|
|
16. |
Fernandes, João M; Mashkoor, Atif. 2007. "Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study", Trabalho apresentado em 2nd International Conference on Software Engineering Advances (ICSEA 2007), In 2nd International Conference on Software Engineering Advances (ICSEA 2007), Cap Esterel.
|
|
|
|
17. |
Fernandes, João M; Machado, Ricardo J. 2007. "Teaching Embedded Systems Engineering in a Software-Oriented Computing Degree", Trabalho apresentado em 37th Annual ASEE/IEEE Frontiers in Education Conference (FIE 2007), In 37th Annual ASEE/IEEE Frontiers in Education Conference (FIE 2007), Milwaukee, Wiscosin, E.U.A.. |
|
|
|
18. |
Ribeiro, Óscar R; Fernandes, João M. 2007. "Validation of Reactive Software from Scenario-Based Models", Trabalho apresentado em 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), In 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), Lisboa.
|
|
|
|
19. |
Duarte, Francisco; Machado, Ricardo J; Fernandes, João M. 2007. "Automated Information Systems Generation for Process-Oriented Organizations", Trabalho apresentado em 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), In 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), Lisboa.
|
|
|
|
20. |
Fernandes, João M; Jorgensen, Jens B; Tjell, Simon. 2007. "Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller", Trabalho apresentado em 13th Asia-Pacific Software Engineering Conference (APSEC 2007), In 13th Asia-Pacific Software Engineering Conference (APSEC 2007), Nagóia. |
|
|
|
21. |
Fernandes, João M; Machado, Ricardo J. 2006. "A Two-Year Software Engineering M.Sc. Degree designed under the Bologna Declaration Principles", Trabalho apresentado em 1st International Conference on Software Engineering Advances (ICSEA 2006), In 1st International Conference on Software Engineering Advances (ICSEA 2006), Tahiti.
|
|
|
|
22. |
Fernandes, João M; Machado, Ricardo J; Monteiro, Paula A; Rodrigues, Helena C. 2006. "A Demonstration Case on the Transformation of Software Architectures for Mobile Applications", Trabalho apresentado em 5th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), In From Model-Driven Design to Resource Management for Distributed Embedded Systems, Braga. |
|
|
|
23. |
Machado, Ricardo J; Fernandes, João M; Monteiro, Paula A; Rodrigues, Helena C. 2006. "Refinement of Software Architectures by Recursive Model Transformations,", Trabalho apresentado em 7th International Conference on Product Focused Software Process Improvement (PROFES 2006), In 7th International Conference on Product Focused Software Process Improvement (PROFES 2006), Amsterdão.
|
|
|
|
24. |
Monteiro, M. P; Fernandes, João M. 2005. "Towards a Catalog of Aspect-Oriented Refactorings", Trabalho apresentado em 4th International Conference on Aspect-Oriented Software Development (AOSD 2005), In 4th International Conference on Aspect-Oriented Software Development (AOSD 2005), Chicago, Illinois.
|
|
|
|
25. |
Monteiro, M. P; Fernandes, João M. 2005. "Refactoring a Java Code Base to AspectJ: An Illustrative Example", Trabalho apresentado em 21st IEEE International Conference on Software Maintenance (ICSM 2005), In 21st IEEE International Conference on Software Maintenance (ICSM 2005), Budapeste.
|
|
|
|
26. |
Machado, Ricardo J; Fernandes, João M. 2005. "Integration of Embedded Software with Corporate Information Systems", Trabalho apresentado em 1st IFIP International Embedded Systems Symposium (IESS 2005), In From Specification to Embedded Systems Application, Manaus.
|
|
|
|
27. |
Machado, Ricardo J; Fernandes, João M; Monteiro, Paula A; Rodrigues, Helena C. 2005. "Transformation of UML Models for Service-Oriented Software Architectures", Trabalho apresentado em 12th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2005), In 12th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2005), Greenbelt, Maryland.
|
|
|
|
28. |
Ribeiro, Óscar R; Fernandes, João M; Pinto, Luís. 2005. "Model Checking Embedded Systems with PROMELA", Trabalho apresentado em 12th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2005), In 12th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2005), Greenbelt, Maryland.
|
|
|
|
29. |
Monteiro, M. P; Fernandes, João M. 2004. "Object-to-Aspect Refactorings For Feature Extraction", Trabalho apresentado em 3rd International Conference on Aspect-Oriented Software Development (AOSD 2004), In 3rd International Conference on Aspect-Oriented Software Development (AOSD 2004), Lancaster.
|
|
|
|
30. |
Fernandes, João M; Duarte, Francisco. 2004. "Using RUP for Process-Oriented Organisations", Trabalho apresentado em 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), In 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), Kansai Science City. |
|
|
|
31. |
Truscan, Dragos; Fernandes, João M; Lilius, Johan. 2004. "Tool Support for DFD-UML Model-based Transformations", Trabalho apresentado em 11th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), In 11th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), Brno.
|
|
|
|
32. |
Fernandes, João M; Lilius, Johan. 2004. "Functional and Object-Oriented Views in Embedded Software Modeling", Trabalho apresentado em 11th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), In 11th IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), Brno.
|
|
|
|
33. |
Machado, Ricardo J; Fernandes, João M. 2004. "A Multi-level Design Pattern for Embedded Software", Trabalho apresentado em 4th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), In Design Methods and Applications for Distributed Embedded Systems, Toulouse. |
|
|
|
34. |
Machado, Ricardo J; Fernandes, João M. 2002. "Heterogeneous Information Systems Integration: Organizations and Tools", Trabalho apresentado em 4th International Conference on Product Focused Software Process Improvement (PROFES 2002), In 4th International Conference on Product Focused Software Process Improvement (PROFES 2002), Rovaniemi. |
|
|
|
35. |
Fernandes, João M; Machado, Ricardo J. 2002. "Can UML be a System-Level Language for Embedded Software?", Trabalho apresentado em 3rd IFIP International Workshop on Distributed and Parallel Embedded Systems (DIPES 2002), In Design and Analysis of Distributed Embedded Systems, Montréal. |
|
|
|
36. |
Machado, Ricardo J; Fernandes, João M. 2001. "A Petri Net Meta-Model to Develop Software Components for Embedded Systems", Trabalho apresentado em 2nd IEEE International Conference on Application of Concurrency to System Design (ACSD 2001), In 2nd IEEE International Conference on Application of Concurrency to System Design (ACSD 2001), Newcastle upon Tyne.
|
|
|
|
37. |
Fernandes, João M; Machado, Ricardo J. 2001. "System-Level Object-Orientation in the Specification and Validation of Embedded Systems", Trabalho apresentado em System-Level Object-Orientation in the Specification and Validation of Embedded Systems, In System-Level Object-Orientation in the Specification and Validation of Embedded Systems, Pirenópolis (GO).
|
|
|
|
38. |
Fernandes, João M; Machado, Ricardo J. 2001. "From Use Cases to Objects: An Industrial Information Systems Case Study Analysis", Trabalho apresentado em 7th International Conference on Object-Oriented Information Systems (OOIS 2001), In 7th International Conference on Object-Oriented Information Systems (OOIS 2001), Calgary. |
|
|
|
39. |
Machado, Ricardo J; Fernandes, João M; Santos, Henrique D. 2001. "A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach", Trabalho apresentado em 2nd IFIP International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), In Architecture and Design of Distributed Embedded Systems, Schloss Eringerfeld. |
|
|
|
40. |
Machado, Ricardo J; Fernandes, João M; Santos, Henrique D. 2000. "An Object-Oriented Approach to the Co-Design of Industrial Control-Based Information Systems", Trabalho apresentado em 4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000), In 4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000), Guimarães. |
|
|
|
41. |
Fernandes, João M; Machado, Ricardo J; Santos, Henrique D. 2000. "Modeling Industrial Embedded Systems with UML", Trabalho apresentado em 8th ACM/IEEE/IFIP International Workshop on Hardware/Software Codesign (CODES 2000), In 8th ACM/IEEE/IFIP International Workshop on Hardware/Software Codesign (CODES 2000), San Diego, Califórnia.
|
|
|
|
42. |
Fernandes, João M; Machado, Ricardo J. 2000. "Object-Oriented Inheritance of Statecharts for Control Applications", Trabalho apresentado em 4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000), In 4th APCA Portuguese Conference on Automatic Control (CONTROLO 2000), Guimarães. |
|
|
|
43. |
Fernandes, João M; Belo, Orlando. 1998. "Modeling Multi-Agent Systems Activities Through Colored Petri Nets: An Industrial Production System Case Study", Trabalho apresentado em 16th IASTED International Conference on Applied Infomatics (AI 1998), In 16th IASTED International Conference on Applied Infomatics (AI 1998), Garmisch-Partenkirchen. |
|
|
|
44. |
Machado, Ricardo J; Fernandes, João M; Proença, Alberto J. 1998. "An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study", Trabalho apresentado em 9th IFAC Symposium on Information Control in Manufacturing (INCOM 1998), In 9th IFAC Symposium on Information Control in Manufacturing (INCOM 1998), Nancy e Metz. |
|
|
|
45. |
Machado, Ricardo J; Fernandes, João M; Proença, Alberto J. 1998. "Hierarchical Mechanisms for High-level Modelling and Simulation of Digital Systems", Trabalho apresentado em 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS 1998), In 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS 1998), Lisboa.
|
|
|
|
46. |
Machado, Ricardo J; Fernandes, João M; Proença, Alberto J. 1997. "SOFHIA: A CAD Environment to Design Digital Control Systems", Trabalho apresentado em XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applications (CHDL 1997), In Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic
Systems, Toledo. |
|
|
|
47. |
Esteves, António; Fernandes, João M; Proença, Alberto J. 1996. "EDgAR: A Platform for Hardware/Software Codesign", Trabalho apresentado em 5th Annual Advanced Technology Workshop (ATW 1996), In Embedded System Applications, Toulouse. |
|
|
|
48. |
Machado, Ricardo J; Fernandes, João M; Proença, Alberto J. 1997. "Specification of Industrial Digital Controllers with Object-Oriented Petri Nets", Trabalho apresentado em IEEE International Symposium on Industrial Electronics (ISIE 1997), In IEEE International Symposium on Industrial Electronics (ISIE 1997), Guimarães.
|
|
|
|
49. |
Pina, António M; Fernandes, João M; Machado, Ricardo J. 1997. "Genetic Regulatory Mechanisms by Means of Extended Interactive Petri Nets", Trabalho apresentado em IEEE International Conference on Systems, Man, and Cybernetics (SMC 1997), In IEEE International Conference on Systems, Man, and Cybernetics (SMC 1997), Orlando.
|
|
|
|
50. |
Fernandes, João M; Pina, António M; Proença, Alberto J. 1995. "Simulação e Síntese de Controladores Paralelos Baseados em Redes de Petri", Trabalho apresentado em VII Simpósio Brasileiro de Arquitectura de Computadores - Processamento de Alto Desempenho (SBAC-PAD 1995), In VII Simpósio Brasileiro de Arquitectura de Computadores - Processamento de Alto Desempenho (SBAC-PAD 1995), Canela (RS). |
|
|
|
51. |
Santos, Henrique D; Ramalho, José C; Fernandes, João M; Proença, Alberto J. 1993. "A Heterogeneous Computer Vision Architecture: Implementation Issues", Trabalho apresentado em 1st International Meeting on Vector and Parallel Processing (VecPar 1993), In 1st International Meeting on Vector and Parallel Processing (VecPar 1993), Porto. |
|
|
|
Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing |
1. |
Fernandes, João M. L. 2014. "Authorship trends in software engineering", Scientometrics 101, 1: 257 - 271.
|
|
|
|
2. |
Cardoso, J.M.P.; Fernandes, J.M.; Monteiro, M.P.; Carvalho, T.; Nobre, R.. 2013. "Enriching MATLAB with aspect-oriented features for developing embedded systems", Journal of Systems Architecture 59, 7: 412 - 428. |
|
|
|
3. |
Fernandes, João M; Dori, Dov. 2012. "Model-based approaches and frameworks for embedded software systems", Innovations in Systems and Software Engineering 8, 1: 1 - 2.
|
|
|
|
4. |
Gomes, Luís; Khomenko, V.; Fernandes, João M. 2011. "Editorial: Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)", IET Computers & Digital Techniques 5, 6: 425 - 426.
|
|
|
|
5. |
Machado, Ricardo J; Fernandes, João M. 2010. "Influence of the Bologna Accord in Software Engineering Curriculum Development", The Interface, 1: 2 - 3. |
|
|
|
Organização de evento Event organization |
1. |
Fernandes, João M. 10th International Conference on Application of Concurrency to System Design (ACSD 2010),2010 (Conferência / Organização).
|
2. |
Fernandes, João M. 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010),2010 (Conferência / Organização).
|
3. |
Machado, Ricardo J; Fernandes, João M. 5th IFIP International Conference on Distributed and Parallel Embedded Systems (DIPES 2006),2006 (Conferência / Organização).
|
4. |
Machado, Ricardo J; Fernandes, João M. 3rd IEEE International Conference on Application of Concurrency to System Design (ACSD 2003),2003 (Conferência / Organização).
|
Dados Complementares (Additional data)
Tese de Doutoramento Phd Thesis |
1. |
Óscar Rafael da Silva Ferreira Ribeiro, Animation-based validation of reactive software systems using behavioural models, 2009. Tese (Doutoramento em Informática) - Universidade do Minho, Bolseiro(a) de Universidade do Minho (Orientador).
|
2. |
Miguel Jorge Tavares Pessoa Monteiro, Refactorings to Evolve Object-Oriented Systems with Aspect-Oriented Concepts, 2005. Tese (Doutoramento em Informática) - Universidade do Minho (Orientador). |
Dissertação de Mestrado Master degree dissertation |
1. |
Jorge Miguel de Miranda Moreira, Uma aplicação informática para testes automáticos de software, 2012. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
2. |
Diogo Manuel dos Santos Campos, Identification and assessment of behavioural competences in multidisciplinary teams within design projects, 2012. Dissertação (Mestrado Integrado em Engenharia e Gestão Industrial) - Universidade do Minho (Co-orientador). |
3. |
Elísio Maciel Simão, Comparison of software development methodologies based on the SWEBOK, 2011. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
4. |
João Miguel da Costa Matos, Integração da aplicação Microsoft Project num sistema ERP, 2010. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
5. |
Susana de Jesus Prozil Rodrigues, Algoritmos de decisão multi-critério para atribuição de prioridades a requisitos de software, 2009. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
6. |
Diogo Barbosa Martins, Reliable software development in a vital signs monitoring system, 2009. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
7. |
Rui Mário Silva Freitas, Formal software development techniques in a continuous vital signs control system, 2009. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
8. |
Sónia Marlene Pereira de Sousa, Play Scrum - um jogo para a aprendizagem do método ágil Scrum, 2009. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
9. |
Paula Alexandra Fernandes Monteiro, Model-based transformations for pervasive software architectures, 2006. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador). |
10. |
Óscar Rafael da Silva Ferreira Ribeiro, Model checking of Petri nets for embedded systems, 2005. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador). |
11. |
Francisco José Monteiro Duarte, Engenharia de software orientada aos processos, 2002. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador). |
Participação editorial em revistas Magazine editorial participation |
1. |
Fernandes, João M.. International Journal on Advances in Software, desde 2012/01/01, Função ou tipo de participação: Corpo editorial, Editora: IARIA. |
2. |
Fernandes, João M.. Journal of Information Technology Research (JITR), desde 2007/06/01, Função ou tipo de participação: Corpo editorial, Editora: IGI Global. |
3. |
Fernandes, João M.. Nordic Journal of Computing, desde 2005/12/21, Função ou tipo de participação: Outro, Editora: Publishing Association Nordic Journal of Computing. |
4. |
Fernandes, João M.. Open Computer Science, de 2015/11/01 até 2016/11/14, Função ou tipo de participação: Editor, Editora: De Gruyter Open.
|
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção técnica
Technical production |
Dados complementares
data |
Produção científica Scientific production |
86 |
Livros e capítulos Books and book chapters |
18 |
Livros publicados ou organizados Published or organized books |
12 |
Capítulos de livros publicados Published book chapters |
6 |
Artigos científicos em revistas Papers in periodics |
17 |
Com arbitragem científica With scientific refereeing |
12 |
Sem arbitragem científica Without scientific refereeing |
5 |
Trabalhos em eventos Papers in conference proceedings |
51 |
Com arbitragem científica With scientific refereeing |
51 |
Produção técnica Technical production |
4 |
Outros tipos de produção técnica Other technical production |
4 |
Dados complementares (Additional data) |
18 |
Orientações Orientations |
14 |
Participação editorial em revistas Magazine editorial participation |
4 |
Visualizações do curriculum [
5191
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
28-10-2019
às
06:05:15
|
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team |
|