The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

João M. Fernandes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Ó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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. João M. Fernandes, Francisco J. Duarte
    Using RUP for Process-Oriented Organisations. [Citation Graph (0, 0)][DBLP]
    PROFES, 2004, pp:348-362 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]

  21. Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. [Citation Graph (, )][DBLP]


  22. A Requirements Engineering and Management Training Course for Software Development Professionals. [Citation Graph (, )][DBLP]


  23. Model-based Methodologies for Pervasive and Embedded Software. [Citation Graph (, )][DBLP]


  24. Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. [Citation Graph (, )][DBLP]


  25. A Technique to Classify and Compare Agile Methods. [Citation Graph (, )][DBLP]


  26. Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. [Citation Graph (, )][DBLP]


  27. Validation of Scenario-Based Business Requirements with Coloured Petri Nets. [Citation Graph (, )][DBLP]


  28. Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. [Citation Graph (, )][DBLP]


  29. Automated Information Systems Generation for Process-Oriented Organizations. [Citation Graph (, )][DBLP]


  30. Validation of Reactive Software from Scenario-Based Models. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002