2009 |
27 | EE | Joã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 |
2008 |
26 | EE | Simon Tjell,
João M. Fernandes:
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.
DIPES 2008: 79-88 |
25 | EE | Miguel 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 |
24 | EE | Joã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 |
23 | EE | Atif Mashkoor,
João M. Fernandes:
Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study.
ICSEA 2007: 25 |
22 | EE | Óscar R. Ribeiro,
João M. Fernandes:
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.
SIES 2007: 266-273 |
2006 |
21 | EE | Joã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 |
20 | EE | João M. Fernandes,
Ricardo Jorge Machado:
A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles.
ICSEA 2006: 1 |
19 | EE | Ricardo Jorge Machado,
João M. Fernandes,
Paula Monteiro,
Helena Rodrigues:
Refinement of Software Architectures by Recursive Model Transformations.
PROFES 2006: 422-428 |
18 | EE | Joã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) |
17 | EE | Miguel 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 |
16 | EE | Miguel P. Monteiro,
João M. Fernandes:
Towards a catalog of aspect-oriented refactorings.
AOSD 2005: 111-122 |
15 | EE | Ricardo Jorge Machado,
João M. Fernandes,
Paula Monteiro,
Helena Rodrigues:
Transformation of UML Models for Service-Oriented Software Architectures.
ECBS 2005: 173-182 |
14 | EE | Óscar R. Ribeiro,
João M. Fernandes,
Luís F. Pinto:
Model Checking Embedded Systems with PROMELA.
ECBS 2005: 378-385 |
13 | EE | Miguel P. Monteiro,
João M. Fernandes:
Refactoring a Java Code Base to AspectJ: An Illustrative Example.
ICSM 2005: 17-26 |
12 | | Johan Lilius,
Ricardo Jorge Machado,
Dragos Truscan,
João M. Fernandes,
Ivan Porres:
Guest Editors' Foreword.
Nord. J. Comput. 12(3): 198-199 (2005) |
11 | EE | Joã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 |
10 | | Ricardo Jorge Machado,
João M. Fernandes:
A Multi-Level Design Pattern for Embedded Software.
DIPES 2004: 247-256 |
9 | EE | João M. Fernandes,
Johan Lilius:
Functional and Object-Oriented Views in Embedded Software Modeling.
ECBS 2004: 378-387 |
8 | EE | Dragos Truscan,
João M. Fernandes,
Johan Lilius:
Tool Support for DFD-UML Model-based Transformations.
ECBS 2004: 388-397 |
7 | EE | João M. Fernandes,
Francisco J. Duarte:
Using RUP for Process-Oriented Organisations.
PROFES 2004: 348-362 |
2002 |
6 | | João M. Fernandes,
Ricardo Jorge Machado:
Can UML be a System-Level Language for Embedded Software?.
DIPES 2002: 1-10 |
5 | EE | Ricardo Jorge Machado,
João M. Fernandes:
Heterogeneous Information Systems Integration: Organizations and Methodologies.
PROFES 2002: 629-644 |
2001 |
4 | EE | Ricardo Jorge Machado,
João M. Fernandes:
A Petri Net Meta-Model to Develop Software Components for Embedded Systems.
ACSD 2001: 113-122 |
3 | | João M. Fernandes,
Ricardo Jorge Machado:
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis.
OOIS 2001: 319-328 |
2000 |
2 | EE | João M. Fernandes,
Ricardo Jorge Machado,
Henrique D. Santos:
Modeling industrial embedded systems with UML.
CODES 2000: 18-22 |
1 | | Ricardo 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 |