|
Search the dblp DataBase
João M. Fernandes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ricardo Jorge Machado, João M. Fernandes
A Petri Net Meta-Model to Develop Software Components for Embedded Systems. [Citation Graph (0, 0)][DBLP] ACSD, 2001, pp:113-122 [Conf]
- Miguel P. Monteiro, João M. Fernandes
Towards a catalog of aspect-oriented refactorings. [Citation Graph (0, 0)][DBLP] AOSD, 2005, pp:111-122 [Conf]
- João M. Fernandes, Ricardo Jorge Machado, Henrique D. Santos
Modeling industrial embedded systems with UML. [Citation Graph (0, 0)][DBLP] CODES, 2000, pp:18-22 [Conf]
- João M. Fernandes, Johan Lilius
Functional and Object-Oriented Views in Embedded Software Modeling. [Citation Graph (0, 0)][DBLP] ECBS, 2004, pp:378-387 [Conf]
- Ricardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues
Transformation of UML Models for Service-Oriented Software Architectures. [Citation Graph (0, 0)][DBLP] ECBS, 2005, pp:173-182 [Conf]
- Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto
Model Checking Embedded Systems with PROMELA. [Citation Graph (0, 0)][DBLP] ECBS, 2005, pp:378-385 [Conf]
- Dragos Truscan, João M. Fernandes, Johan Lilius
Tool Support for DFD-UML Model-based Transformations. [Citation Graph (0, 0)][DBLP] ECBS, 2004, pp:388-397 [Conf]
- Miguel P. Monteiro, João M. Fernandes
Refactoring a Java Code Base to AspectJ: An Illustrative Example. [Citation Graph (0, 0)][DBLP] ICSM, 2005, pp:17-26 [Conf]
- Ricardo Jorge Machado, João M. Fernandes
A Multi-Level Design Pattern for Embedded Software. [Citation Graph (0, 0)][DBLP] DIPES, 2004, pp:247-256 [Conf]
- Ricardo Jorge Machado, João M. Fernandes, Henrique D. Santos
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. [Citation Graph (0, 0)][DBLP] DIPES, 2000, pp:1-10 [Conf]
- João M. Fernandes, Ricardo Jorge Machado
Can UML be a System-Level Language for Embedded Software?. [Citation Graph (0, 0)][DBLP] DIPES, 2002, pp:1-10 [Conf]
- João M. Fernandes, Ricardo Jorge Machado
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis. [Citation Graph (0, 0)][DBLP] OOIS, 2001, pp:319-328 [Conf]
- João M. Fernandes, Francisco J. Duarte
Using RUP for Process-Oriented Organisations. [Citation Graph (0, 0)][DBLP] PROFES, 2004, pp:348-362 [Conf]
- Ricardo Jorge Machado, João M. Fernandes
Heterogeneous Information Systems Integration: Organizations and Methodologies. [Citation Graph (0, 0)][DBLP] PROFES, 2002, pp:629-644 [Conf]
- Ricardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues
Refinement of Software Architectures by Recursive Model Transformations. [Citation Graph (0, 0)][DBLP] PROFES, 2006, pp:422-428 [Conf]
- João M. Fernandes, Ricardo Jorge Machado
A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles. [Citation Graph (0, 0)][DBLP] ICSEA, 2006, pp:1- [Conf]
- Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres
Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2005, v:12, n:3, pp:198-199 [Journal]
- João M. Fernandes, Francisco J. Duarte
A reference framework for process-oriented software development organizations. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:1, pp:94-105 [Journal]
- Miguel P. Monteiro, João M. Fernandes
Towards a Catalogue of Refactorings and Code Smells for AspectJ. [Citation Graph (0, 0)][DBLP] , 2006, v:, n:, pp:214-258 [Journal]
- João M. Fernandes, Ricardo Jorge Machado, Paula Monteiro, Helena Rodrigues
A Demonstration Case on the Transformation of Software Architectures for Service Specification. [Citation Graph (0, 0)][DBLP] DIPES, 2006, pp:235-244 [Conf]
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. [Citation Graph (, )][DBLP]
A Requirements Engineering and Management Training Course for Software Development Professionals. [Citation Graph (, )][DBLP]
Model-based Methodologies for Pervasive and Embedded Software. [Citation Graph (, )][DBLP]
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. [Citation Graph (, )][DBLP]
A Technique to Classify and Compare Agile Methods. [Citation Graph (, )][DBLP]
Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. [Citation Graph (, )][DBLP]
Validation of Scenario-Based Business Requirements with Coloured Petri Nets. [Citation Graph (, )][DBLP]
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. [Citation Graph (, )][DBLP]
Automated Information Systems Generation for Process-Oriented Organizations. [Citation Graph (, )][DBLP]
Validation of Reactive Software from Scenario-Based Models. [Citation Graph (, )][DBLP]
Search in 0.014secs, Finished in 0.016secs
|