dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

João M. Fernandes Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco J. Duarte, Ricardo Jorge Machado, João M. Fernandes: BIM: A Methodology to Transform Business Processes into Software Systems. SWQD 2012: 39-58
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Dov Dori: Model-based approaches and frameworks for embedded software systems. ISSE 8(1): 1-2 (2012)
2011
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva: Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers Springer 2011
2010
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010 CEUR-WS.org 2010
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Gomes, Victor Khomenko, João M. Fernandes: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010 IEEE Computer Society 2010
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes: Combining Petri Nets and UML for Model-based Software Engineering. ACSD/Petri Nets Workshops 2010: 217-218
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes: Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC 2010: 19-30
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE 2010: 6-21
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Mauro Almeida: Classification and Comparison of Agile Methods. QUATIC 2010: 391-396
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Sonia M. Sousa: PlayScrum - A Card Game to Learn the Scrum Agile Method. VS-GAMES 2010: 52-59
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Mauro Almeida: A Technique to Classify and Compare Agile Methods. XP 2010: 385-386
2009
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser: The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal IEEE Computer Society 2009
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado, Stephen B. Seidman: A Requirements Engineering and Management Training Course for Software Development Professionals. CSEE&T 2009: 20-25
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner: Model-based Methodologies for Pervasive and Embedded Software. ICSE Companion 2009: 443-444
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÓscar R. Ribeiro, João M. Fernandes: Validation of Scenario-Based Business Requirements with Coloured Petri Nets. ICSEA 2009: 250-255
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Luís C. Lamb, Ricardo Jorge Machado, Flávio Rech Wagner: Recent advances in model-based methodologies for pervasive and embedded software. ACM SIGSOFT Software Engineering Notes 34(5): 37-39 (2009)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Bæk Jørgensen, Simon Tjell, João M. Fernandes: Formal requirements modelling with executable use cases and coloured Petri nets. ISSE 5(1): 13-25 (2009)
2008
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, Flávio Rech Wagner, Rick Kazman: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings IEEE Computer Society 2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Tjell, João M. Fernandes: Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. DIPES 2008: 79-88
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel P. Monteiro, João M. Fernandes: An illustrative example of refactoring object-oriented source code with aspect-oriented mechanisms. Softw., Pract. Exper. 38(4): 361-396 (2008)
2007
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado, Ridha Khédri, Siobhán Clarke: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings IEEE Computer Society 2007
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Jens Bæk Jørgensen, Simon Tjell: Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC 2007: 294-301
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtif Mashkoor, João M. Fernandes: Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. ICSEA 2007: 25
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÓscar R. Ribeiro, João M. Fernandes: Validation of Reactive Software from Scenario-Based Models. QUATIC 2007: 213-217
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco J. Duarte, Ricardo Jorge Machado, João M. Fernandes: Automated Information Systems Generation for Process-Oriented Organizations. QUATIC 2007: 223-228
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÓscar R. Ribeiro, João M. Fernandes: Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. SIES 2007: 266-273
2006
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz: Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006, Potsdam, Germany, March 30, 2006, Proceedings IEEE Computer Society 2006
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado, Paula Monteiro, Helena Rodrigues: A Demonstration Case on the Transformation of Software Architectures for Service Specification. DIPES 2006: 235-244
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado: A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles. ICSEA 2006: 1
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues: Refinement of Software Architectures by Recursive Model Transformations. PROFES 2006: 422-428
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Johan Lilius, Dragos Truscan: Integration of DFDs into a UML-based Model-driven Engineering Approach. Software and System Modeling 5(4): 403-428 (2006)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel P. Monteiro, João M. Fernandes: Towards a Catalogue of Refactorings and Code Smells for AspectJ. T. Aspect-Oriented Software Development I: 214-258 (2006)
2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel P. Monteiro, João M. Fernandes: Towards a catalog of aspect-oriented refactorings. AOSD 2005: 111-122
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues: Transformation of UML Models for Service-Oriented Software Architectures. ECBS 2005: 173-182
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÓscar R. Ribeiro, João M. Fernandes, Luís F. Pinto: Model Checking Embedded Systems with PROMELA. ECBS 2005: 378-385
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel P. Monteiro, João M. Fernandes: Refactoring a Java Code Base to AspectJ: An Illustrative Example. ICSM 2005: 17-26
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres: Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (2005)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Francisco J. Duarte: A reference framework for process-oriented software development organizations. Software and System Modeling 4(1): 94-105 (2005)
2004
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes: A Multi-Level Design Pattern for Embedded Software. DIPES 2004: 247-256
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Johan Lilius: Functional and Object-Oriented Views in Embedded Software Modeling. ECBS 2004: 378-387
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragos Truscan, João M. Fernandes, Johan Lilius: Tool Support for DFD-UML Model-based Transformations. ECBS 2004: 388-397
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Francisco J. Duarte: Using RUP for Process-Oriented Organisations. PROFES 2004: 348-362
2002
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado: Can UML be a System-Level Language for Embedded Software?. DIPES 2002: 1-10
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes: Heterogeneous Information Systems Integration: Organizations and Methodologies. PROFES 2002: 629-644
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes: A Petri Net Meta-Model to Develop Software Components for Embedded Systems. ACSD 2001: 113-122
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado: From Use Cases to Objects: An Industrial Information Systems Case Study Analysis. OOIS 2001: 319-328
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão M. Fernandes, Ricardo Jorge Machado, Henrique D. Santos: Modeling industrial embedded systems with UML. CODES 2000: 18-22
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Jorge Machado, João M. Fernandes, Henrique D. Santos: A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. DIPES 2000: 1-10

Coauthor Index

1Mauro Almeida [38] [40]
2João Paulo Barros [42]
3Kenneth Boness [37]
4José Creissac Campos [41]
5Siobhán Clarke [28]
6Susanna Donatelli [45]
7Dov Dori [47]
8Francisco J. Duarte [7] [11] [24] [48]
9Luís Gomes [42] [44]
10Jon G. Hall [37]
11Michael D. Harrison [41]
12Jens Bæk Jørgensen [27] [32]
13Rick Kazman [31]
14Ridha Khédri [28]
15Victor Khomenko [44]
16Jetty Kleijn (H. C. M. Kleijn) [45]
17Luís C. Lamb (Luís da Cunha Lamb) [33] [35]
18Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [46]
19Johan Lilius [8] [9] [12] [18]
20Ricardo Jorge Machado [1] [2] [3] [4] [5] [6] [10] [12] [15] [19] [20] [21] [22] [24] [28] [31] [33] [35] [36] [37] [42] [45] [48]
21Atif Mashkoor [26]
22Miguel P. Monteiro [13] [16] [17] [29]
23Paula Monteiro [15] [19] [21]
24Roy Oberhauser [37]
25Luís F. Pinto [14]
26Ivan Porres [12]
27Óscar R. Ribeiro [14] [23] [25] [34] [41]
28Matthias Riebisch [22]
29Helena Rodrigues [15] [19] [21]
30Henrique D. Santos [1] [2]
31João Saraiva [46]
32Bernhard Schätz [22]
33Stephen B. Seidman [36]
34José Luís Silva [41]
35Sonia M. Sousa [39]
36Simon Tjell [27] [30] [32]
37Dragos Truscan [8] [12] [18]
38Joost Visser [46]
39Flávio Rech Wagner [31] [33] [35]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page