Research Topics in Software Engineering

Transcrição

MAP-I: Doctoral Program in Informatics
2011-12 Edition
Proposal of a Curriculum Unit in Computation Paradigms
Research Topics in Software Engineering
Ricardo J. Machado
João Miguel Fernandes
UMinho
José Maria Fernandes
UAveiro
João Pascoal Faria 1
Ademar Aguiar
UPorto
May, 7, 2012
Abstract: This document describes a Ph.D. level course, corresponding to a curriculum unit credited with
5 ECTS. It corresponds to a joint UMinho-UAveiro-UPorto proposal for UCPC (Paradigms of
Computation) in the joint MAP-I doctoral program in Informatics. It is presented the programmatic
component, the lecturing team, and the plans for the coordination with curriculum units in other PhD
programs.
A. Programmatic Component
1. Theme, Justification and Context
Motivation: Software Engineering
Software engineering is the application of a systematic, disciplined, quantifiable approach to the
development, operation, and maintenance of software, and the study of these approaches; that is, the
application of engineering to software. It applies both computer science and engineering principles and
practices to the creation, operation, and maintenance of software systems. Knowledge of programming
is the main prerequisite to becoming a software engineer, but it is not sufficient. In fact, according to the
IEEE’s Guide to the Software Engineering Body of Knowledge (SWEBOK), software engineering, as a
scientific field, encompasses many subdisciplines:
1. Software requirements: The elicitation, analysis, specification, validation and management of
requirements for software.
2. Software design: The process of defining the architecture, components, interfaces, and other
characteristics of a system or component.
1
Coordinator
3. Software construction: The construction of software through the use of programming languages
and tools.
4. Software testing: The empirical investigations conducted to discover defects and improve the
confidence on the quality of software systems.
5. Software maintenance: Software systems often have problems and need enhancements for a
long time after they are first delivered. This subfield deals with the problems and approaches for
software maintenance.
6. Software configuration management: The discipline of identifying the configuration of software
at distinct points in time for the purpose of systematically controlling changes to the
configuration and of maintaining the integrity and traceability of the configuration throughout
the system life cycle.
7. Software engineering management: The management and measurement of software
engineering activities borrows heavily from project management, but there are nuances
encountered in software not seen in other management disciplines.
8. Software engineering process: Concerned with the definition, implementation, assessment,
measurement, management, change, and improvement of the software engineering process
itself.
9. Software engineering tools and methods: The scientific application of a set of tools and methods
to the development of software which is meant to result in high-quality, defect-free, and
maintainable software products.
10. Software quality: The approaches used to measure how well software is designed (quality of
design), and how well the software conforms to that design (quality of conformance).
Software engineering is also related to the disciplines of computer science, project management, and
systems engineering. This diversity of skills and competences makes it mandatory to have a broad
approach when teaching software engineering. This course addresses some of the challenges faced by
software engineers and the software engineering field that are posed by the increasing complexity and
criticality of software intensive systems on which our society is ever more dependent. More specifically,
in this course, we plan to tackle several subdisciplines of software engineering and address the research
challenges that nowadays emerge in those subdisciplines. Additionally, we plan to present in this course
the state-of-the-art of several subdisciplines of software engineering and to identify challenges that
might help doctoral students on selecting a topic for developing research in Software Engineering.
Course Context
ACM Computing Classification System subjects covered:
•
•
•
•
•
•
D. Software / D.2 Software Engineering / D.2.1 Requirements/Specifications
D. Software / D.2 Software Engineering / D.2.2 Design Tools and Techniques
D. Software / D.2 Software Engineering / D.2.11 Software Architectures
D. Software Engineering / Reusable Software / D.2.13 Domain engineering
D. Software Engineering / Reusable Software / D.2.13 Reuse models
K. Computing Milieux / K.6 Software Management / K.6.3 Software development
2. Objectives and Learning Outcomes
This course aims to cover, both from the foundational and the methodological point of view, the
analysis, design, construction, verification and validation of large-software systems. As a second
objective the course aims at providing the conceptual tools for the use of models in all phases of the
software process.
The course is not intended as an introductory survey on Software Engineering, but as an opportunity of
exposing students to cutting-edge research topics in this area, although presented in a coherent and
integrated way. It is placed at a similar level and covers overlapping material with advanced modules in
doctoral programs at leading academic institutions.
Upon successful completion of this curricular unit, students should be able:
•
•
•
•
•
•
•
•
•
to promote the assessment of the software process and to monitor, in collaboration with
software engineers, the software process improvement efforts;
to identify the positive and negative aspects of the software process, through the acquisition,
analysis, and interpretation of quantitative data;
to define what type of procedures the requirements engineering team is supposed to execute at
the development process, by identifying the formal involvement of the stakeholders;
to define the way requirements are to be elicited and the techniques to use to correctly gather
requirements from all the sources;
to idealize different alternative architectures to solve the same problem and evaluate (justifying)
which is the best one in terms of design quality;
to recognize and understand several architectural and design patterns;
to explain the need for describing software systems with models, as a way to abstract from the
system’s complexity and to reason about its properties;
to use models for the activities associated with the development of large software systems,
from analysis and design through construction, testing and maintenance;
to understand the concepts, challenges and applicability of advanced software testing, analyses
and quality measurement techniques.
3. Course Contents
1. SOFTWARE PROCESS ENGINEERING
This unit takes software processes as the main focus of study. The software engineering process can be
considered at two distinct levels:
(1) the activities related to acquisition, development, and maintenance of software;
(2) the activities related to the definition, implementation, measurement, and improvement of the
software process itself.
In this context, this unit focuses on the techniques and methods devoted to:
(1) the definition of software processes at its relation to the software artifacts’ lifecycles;
(2) the configuration and enactment of best practices and reference processes to support the
development of large-scale software solutions.
The unit is structured into the following topics:
•
Software process fundamentals (software lifecycles and notations for process definition).
•
•
•
•
Overview of some representative software processes (such as RUP, Scrum, and PSP/TSP).
Software processes for large enterprises (EUP, EABOK, TOGAF).
Software process improvement and maturity models (ISO standards, SEI reference models).
Supporting frameworks: software lifecycle management frameworks; software knowledge
management frameworks; software process engineering frameworks.
2. REQUIREMENTS ENGINEERING AND MANAGEMENT
This unit focuses on the software requirements knowledge area as a critical domain of software
engineering, as outlined in the IEEE Computer Society’s Software Engineering Body of Knowledge
(SWEBOK). The area of software requirements deals with the elicitation, analysis, specification,
validation, and management of software requirements. Requirements are the properties that a given
system (still in project) will exhibit when its development is finished. This area is recognized as being
extremely important for industry, since its activities have a great impact on the development process.
This unit focuses on the following topics:
•
•
•
•
•
•
Overview of requirements engineering concepts and processes.
Elicitation techniques.
Goal, use-case and scenario based requirements engineering.
Models in requirements engineering.
Requirements engineering for software product lines.
Collaborative and social platforms for requirements engineering.
3. SOFTWARE DESIGN AND PATTERNS
The architecture of a software system describes the global structure in terms of its components,
external properties and its interrelations. As software systems grow in scale and complexity, it becomes
increasingly more important to understand them at many abstraction levels other than algorithms,
functions, objects or components, and by different kinds of people, such as procurers, acquirers,
producers, integrators, trainers, and users. Architectural models for such large-scale systems must be
tailored to allow the dynamic construction and allocation of customized applications to heterogeneous
computing devices, with different computational or interface capabilities.
In this unit, design and architectural challenges for highly complex and large-scale software systems are
addressed. Many of these are software engineering challenges that must take into consideration aspects
not only related with individual computing devices, but also with the entire system obtained from the
cooperation of diverse, dispersed, integrated or mobile computing devices that in conjunction
contribute to the achievement of the overall system objectives.
In particular, the following topics will be considered:
•
•
•
•
Software design: fundamental concepts and principles.
Software architecture: definitions, concepts, components, connectors, views, quality attributes,
reference models and reference architectures.
Architectural styles: pipes and filters, data abstraction, object-orientation, event-based systems,
layered systems, repositories, interpreters, process-control systems.
Software patterns: origins, notion of patterns and pattern languages, kinds of patterns
(architectural, design, others).
•
Thematic catalogs of patterns: patterns of enterprise application architecture, patterns for
enterprise integration.
4. MODEL-DRIVEN SOFTWARE CONSTRUCTION
Raising the level of abstraction is fundamental to cope with the increasing complexity of software
systems. This unit’s purpose is to study modeling frameworks in Software Engineering that enable the
usage of models (i.e., abstract high-level representations of to-be systems) not only for specification and
documentation, but also for software construction. A particular focus will be placed on the Unified
Model Language (UML). As the OMG specification states, UML is “a graphical language for visualizing,
specifying, constructing, and documenting the artifacts of a software intensive system”. Although in
itself it does not specify any methodological or design process, its role as a (collection of inter-related)
semi-formal notations in supporting software development, from business processes or global
architectures down to database schema, and reusable software components, became more and more
fundamental, almost a de facto standard, to the whole Software Engineering discipline.
Particular emphasis will be placed on the following topics:
•
•
•
•
•
Making UML models precise and executable, either through the use of UML related languages
(OCL and UML action semantics), or through the integration with formal specification languages
(like VDM++, Petri nets or Alloy).
Definition of domain specific languages and UML profiles, using the UML extensibility
mechanisms and the UML meta-model.
Model transformation (from analysis into design models, making explicit the envisaged software
architecture, and from platform independent into platform specific models).
Code generation from design models, especially for behavior-intensive systems, and its current
limitations.
Models at run-time: adaptive object models.
5. SOFTWARE TESTING AND ANALYSES
Our society is increasingly dependent on the correct functioning of software systems, so the software
industry should strive to deliver essentially defect free software, by using more effective and efficient
defect detection and prevention techniques than are in common use today. The goal of this unit is to
cover some of the most promising techniques in that direction.
This unit will cover the following topics:
•
•
•
•
•
•
•
Automatic test generation: model-based testing and pattern-based testing.
Automatic fault localization and debugging.
Automatic error detection (e.g., automatic generation of test oracles and assertions).
Model verification and validation techniques.
Software static analysis.
Static and dynamic (test-based) defect prediction techniques.
Measuring software quality: code and model quality metrics and tools.
4. Teaching Methods and Student Assessment
The best way to understand and master software engineering is to experience it. In the educational
setting, this means:
•
•
•
learning the fundamental concepts and principles;
knowing and understanding the solutions and practices proven to be the best, through the
exploration of specific examples from the past, so-called case studies;
applying the knowledge acquired by imitating and adapting known solutions to a specific
problem through hands-on development of a software system, in an individual project.
No textbook adequately covers the course’s range of topics, so a diversity of bibliographic elements
(books, journals and conference proceedings) will be used.
Classes
The class meetings are meant to be conversational, and we encourage students to ask questions and
make comments. Consequently, the discussion may follow tangents to the prepared lecture, but they
should be fruitful, informative, and thought provoking. These classes are conducted by all the elements
of the lecturing team.
Panels and talks
Two panels or talks will be organized to complement the topics covered by the formal classes. These
panels or talks will involve both the lecturing team and possibly faculty members that are not formally
associated with this UC.
Readings
Each week, the students must read papers or some few supplemental materials provided, related to the
topics discussed in class. All reading assignments come from journals and conference proceedings. This
exposes many students to extensive readings from the research literature for the first time. To help
them with their reading, we require them to write a brief summary for each paper, and submit it
electronically before the next class. We also ask them to submit a list of questions about the readings,
which we try to work into the lecture if possible. During the last few weeks of the course, we no longer
require reading summaries, to give students more time to focus on the project.
Individual research project
Whilst the goal of the readings is to develop a critical but shallow view over a broad range of topics
addressed in classes, the goal of the individual research project is to develop a more in depth
understanding on a specific software engineering research topic, matching as much as possible each
student interests, as well as the lecturers areas of expertise. Projects are designed to combine a state of
the art analyses with an experimental assessment. Grading of individual research projects if based on an
oral presentation (for a more methodological project) or demonstration (for a more technological
project), and a final written report. No two students can work on the same project. A few weeks into the
course, descriptions of possible projects are handed out to students, who are also encouraged to
propose projects of their own. Once students complete their project, they must demonstrate it, make an
oral presentation, and submit a final written report.
5. Basic Bibliographic References
•
•
•
•
•
•
•
•
•
Ambler SW, Nalbone J, Vizdos MJ. The Enterprise Unified Process: Extending the Rational Unified
Process, Addison-Wesley, 2008.
Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal P. Pattern-Oriented Software
Architecture, Volume 1: A System of Patterns, JohnWiley & Sons, 1996.
Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns - Elements of Reusable ObjectOriented Software, Addison-Wesley, 1995.
Gomaa H. Designing Software Product Lines with UML: From Use Cases to Pattern-Based
Software Architectures, Addison-Wesley, 2005.
Kleppe A,Warmer J, BastW. MDA Explained: The Model Driven Architecture – Practice and
Promise, Addison-Wesley, 2003.
Mellor SJ, Balcer MJ. Executable UML: A Foundation for Model-Driven Architecture, AddisonWesley, 2002.
Robertson S, Robertson J. Mastering the Requirements Process, Addison Wesley, 2nd edition,
2006.
Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall,
1996.
Utting M, Legeard M. Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann,
2007.
B. Lecturing Team
1. Team Presentation
This course is supported by a team involving researchers from the University of Minho (Ricardo J.
Machado, João M. Fernandes), the University of Aveiro (José Maria Fernandes), and the University of
Porto (João Pascoal Faria, Ademar Aguiar).
This course is the result of merging two former MAPi units: MDSE (Model-Driven Software Engineering)
and ADLSSS (Architecture and Design of Large-Scale Software Systems). MDSE and ADLSSS have
successfully been accredited as CMU courses, within the Carnegie Mellon — Portugal Program. Similarly,
the current team is available to submit the RTSE course to the same accreditation process.
All team members are working, and have worked actively in the past few years, on topics that are
directly related to the subjects covered by this course, as detailed below.
2. Coordinator
The coordinator of the unit is João Pascoal Faria.
3. Short Presentation of Team Members
In the sequel we introduce a brief presentation of each team member, which includes, for each of them,
up to 5 key publications related to the scientific area in which this course is proposed. All CVs are
supplied in separate PDF documents.
Ricardo J. Machado is associate professor at the Department of Information Systems, UMinho. He is
the coordinator of the UMinho scientific activities within the CMU-Portugal Program. His research
focuses on software engineering & management, namely on model-driven development, requirements
engineering, and software quality. He has lead several research projects resulting in more than 60
publications. His current research projects focus on the development of multi-staged approaches in
software product lines and on the integration of multi-standard models in software high maturity levels.
He leads the SEMAG research group at the Algoritmi Research Center. He has been involved in the
organization of various international events, including ACSD 2003, DIPES 2006, QUATIC 2007,
IEEEXtreme 2008 and the MOMPES workshops series.
Key Publications:
•
•
•
•
•
Ferreira A, Machado RJ, Paulk M; Size and Complexity Attributes for Multi-model Improvement
Framework Taxonomy. 36th EUROMICRO Conference on Software Engineering and Advanced
Applications (SEAA 2010), Lille, France, IEEE Computer Society Press, Sep/2010.
Monteiro P, Machado RJ, Kazman R, Henriques C; Dependency Analysis between CMMI Process
Areas. 11th International Conference on Product Focused Software Development and Process
Improvement (PROFES 2010), Limerick, Ireland, Springer, Jun/2010.
Bragança A, Machado RJ; A Model Driven Approach for the Derivation of Architectural
Requirements of Software Product Lines, Innovations in Systems and Software Engineering
5(1):65–78, Springer, Mar/2009.
Bragança A, Machado RJ; Transformation Patterns for Multi-staged Model Driven Software
Development. 12th International Software Product Line Conference (SPLC 2008), Limerick,
Ireland, IEEE Computer Society Press pp. 329–338, Sep/2008.
Machado RJ, Lassen KB, Oliveira S, Couto M, Pinto P; Requirements Validation: Execution of UML
Models with CPN Tools. International Journal on Software Tools for Technology Transfer 9(3–
4):353–370, Springer, Jun/2007.
João M. Fernandes is associate professor at the Department of Informatics, UMinho, and a
researcher member of CCTC. His scientific research activities are centered around the areas of
requirements engineering for software systems, with a particular focus in embedded systems. His
interests lie on the usage of the UML and high-level Petri nets, as specification notations for highly
complex software systems, and in studying and applying model-driven development approaches. In the
embedded software area, his attention focus on issues related to the methodological approach to
follow, namely the requirements techniques, the software process model, and the models to be used
during development. He is a co-founder and regular editor for the International Workshop Series on
Model-based Methodologies for Pervasive and Embedded Software (MOMPES). He is a funding member
of the IFIP Working Group 10.2 (Embedded Systems). He is Program Co-chair of the 3rd International
Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009),
to be held in Jul/2009. In 2002/03, he was a postdoctoral researcher at TUCS (Turku, Finland), and in
2006/7 he was an invited assistant professor at University of Aarhus (Denmark).
Key Publications:
•
•
•
•
•
Gomes L, Fernandes JM (eds.); Behavioral Modeling for Embedded Systems and Technologies:
Applications for Design and Implementation, IGI Global, ISBN 1-60566-750-1, Jul/2009.
Jørgensen JB, Tjell S, Fernandes JM; Formal Requirements Modeling with Executable Use Cases
and Coloured Petri Nets, Innovations in Systems and Software Engineering 5(1):13–25, Springer,
Mar/2009.
Fernandes JM, Machado RJ, Seidman S; A Requirements Engineering and Management Training
Course for Software Development Professionals, 22th IEEE-CS Conference on Software
Engineering Education & Training (CSEE&T 2009), Hyderabad, Índia, IEEE Computer Society
Press, pp. 20–5, Fev/2009.
Fernandes JM, Jørgensen JB, Tjell S; Requirements Engineering for Reactive Systems: Coloured
Petri Nets for an Elevator Controller, 14th Asia-Pacific Software Engineering Conference (APSEC
2007), Nagoya, Japan, IEEE Computer Society Press, pp. 294–301, Dec/2007.
Machado RJ, Ramos I, Fernandes JM; Specification of Requirements Models, Engineering and
Managing Software Requirements, Aurum A.,Wohlin C. (eds.), chap. 3, pp. 47–68, Springer,
Jul/2005.
José Maria Amaral Fernandes is assistant professor at the Dep. of Electronics, Telecommunications
and Informatics of the Universidade de Aveiro (UA) and is visiting professor at the Carnegie Mellon
University (CMU). Since 1997, he is part of IEETA, an R&D institute of the University of Aveiro
(http://www.ieeta.pt/sias) where he has been part of more than 10 projects mainly in neuroscience (e.g.
EpilBI, MovEpil3D, FCT) and computer science with focus on mobile computing (e.g VitalResponder
project - http://www.vitalresponder.org from CMU-Portugal program) and eScience (e.g. BING http://www.brainimaging.pt - and GeresMED, FCT). His lecturing activity has been focused on mobile
computing and software development process from conception to deployment (e.g. Test Driven
Development in the development of IT systems using enterprise level solutions). Recently, under faculty
exchange program in the context of the Carnegie Mellon-Portugal, he offered a course “17623 –
Software Engineering in Mobile Computing” that represented a long waited merge of several lines of
interest in both research and lecturing: (design) patterns in programming, modelling and software
engineering and architecture applied to mobile computing. During the faculty exchange he started a
collaboration with Prof. David Garlan (School of Computer Science, Carnegie Mellon University) focused
on the problem of validation and automation of complex analysis workflows (in the scope of BING
network) using architecture styles and type checking as high level tools for verification and
orchestration.
Key Publications:
•
•
•
Cunha JPS, Tafula S, Fernandes JM; 3D video-fMRI: Tri-dimensional video-based movement
quantification in a 3T fMRI environment, accepted in Human Brain Mapping, Barcelona, Spain,
2010.
Oliveira IC, Alves L, Dias E, Pacheco D, Lima S, Barros J, Monteiro MP, Silva JA, Fernandes JM,
Cunha JPS, Sousa Pereira A; Automated endoscopic capsule analysis using a Grid computing
environment, accepted in IBERGRID 2010, Braga, Portugal, May/2010.
Oliveira I, Cunha JPS, Pacheco D, Fernandes JM, Pedrosa M, Alves L, Sousa Pereira A; The
Portuguese BING Network: Towards a Brain Imaging Grid Virtual Community, MICCAI-Grid,
London, UK, 2009.
•
•
Fernandes JM, Tafula S, Brandão S, Bastos Leite A, Ramos I, Cunha JPS; Video-EEG-fMRI:
Contribution of in-bore Video for the Analysis of Motor Activation Paradigms, World Congress on
Medical Physics and Biomedical Engineering, Munich, Germany, Springer, pp. 786–9, Sep/2009.
Pacheco D, Oliveira I, Fernandes JM, Cunha JPS; MAGI: A medical application Grid interfacing
portal for eScience, 3rd Iberian Grid Infrastructure Conference (IBERGRID 2009), Valencia, Spain,
NetBiblo, pp. 31–42, May/2009 (best paper award).
João Pascoal de Faria is assistant professor at the Department of Informatics Engineering of Faculty
of Engineering of University of Porto (FEUP), researcher at INESC Porto, and co-founder of Strongstep.
He is vice-president of the "Comissão Sectorial para a Qualidade nas Tecnologias de Informação e
Comunicações (CS03)" of the "Conselho Nacional para a Qualidade" (CNQ). In the past, he also worked
with several software companies (Novabase, Sidereus and Medidata). He has more than 20 years of
experience in teaching, research and consultancy in several software engineering areas. He is the main
author of a rapid application development tool, based on domain specific languages, with more 20 years
of market presence and evolution (1989-2011). Since 2008, he is a Certified Personal Software Process
(PSP) Developer, Authorized PSP Instructor, and Team Software Process (TSP) Coach by the Software
Engineering Institute of the Carnegie Mellon University. He is currently involved in research projects and
supervisions in the areas of model-based testing, model-driven development and software process
improvement.
Key Publications:
•
•
•
•
•
Andrade FR, Faria JP, Paiva A; Test Generation from Bounded Algebraic Specifications using
Alloy, 6th International Conference on Software and Data Technologies (ICSOFT 2011), Seville,
Spain, 2011 (accepted)
Cruz AM, Faria JP; A Metamodel-based Approach for Automatic User Interface Generation,
ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems
(MODELS’2010), LNCS, Volume 6394/2010, pp 256-270, 2010 (best paper award)
Amaral LG, Faria JP; A Gap Analyses Methodology for the Team Software Process, 7th
International Conference on the Quality of Information and Communications Technology
(QUATIC 2010), pp.424-429, IEEE Computer Society Conference Publishing Services, 2010
Cruz AM, Faria JP; Automatic Generation of Interactive Prototypes for Domain Model Validation,
3rd International Conference on Software and Data Technologies (ICSOFT 2008), Porto, Portugal,
Jul/2008
Paiva A, Faria JP, Mendes PM; Reverse Engineered Formal Models for GUI Testing, 12th
International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin,
Germany, Jul/2007.
Ademar Aguiar is assistant professor at the Department of Informatics Engineering of Faculty of
Engineering of University of Porto (FEUP) and researcher at INESC Porto, with over 20 years of
experience on software development, specialized on software architecture and design (patterns,
frameworks, and infrastructures), agile methods, wikis, and open collaboration tools. He holds a PhD
from FEUP addressing the topic of documenting object-oriented frameworks using an approach
supported on wikis. Current research interests include knowledge management practices and tools for
software development teams and organizations (from code to documentations) using wiki-based
philosophy and tools. Beyond the field of software engineering, Ademar is also exploring and applying
Web 2.0 and social software to other audiences and fields, such as music and education, being presently
the most important a collaborative and social educational platform for digital natives (6-12 years old)
and their schools and communities, available in Portugal, since September 2008. Since March 2011, he is
vice-president of Hillside Group, a nonprofit organization that promotes the use of patterns and pattern
languages to record, analyze, and improve software and its development.
Key Publications:
•
•
•
•
•
Ferreira HS, Correia FF, Aguiar A, Yoder J; Core Patterns of Object-Oriented Meta-Architectures,
in Proceedings of the 17th Conference on Pattern Languages of Programs (PLoP), pp.1-8, 2010.
Ferreira HS, Correia F, Aguiar A, Faria JP; Adaptive Object-Models: a Research Roadmap,
International Journal on Advances in Software, Vol.3 nº 1, 2010
Restivo A, Aguiar A; Unexpected Interactions Detection, 8th International Conference on AspectOriented Software Development (AOSD 2009), Mar/2009
Kajko-Mattsson M, Aguiar A, Boness K, Kaindl H, Pooley R, Tael A; Long-Term Perspective of Agile
Methods, in Fourth International Conference on Software Engineering Advances, 2009
Flores N, Aguiar A; Patterns for Framework Understanding, in Proceedings of the 15th
Conference on Pattern Languages of Programs (PLoP), 2008
C. Coordination with other PhD programs
The proposed FEUP lecturers for this MAP-I curriculum unit (João Pascoal Faria and Ademar Aguiar),
together with Ana Paiva and Rui Maranhão, are also lecturers of the curriculum unit Tópicos de
Investigação em Engenharia de Software (TIES) of FEUP’s Doctoral Program in Informatics Engineering
(PRODEI).
Given that these two curriculum units have similar names, goals, calendars and assessments methods, it
is proposed that both work as a single unit (with the same schedule) for the 2011-12 edition.
Curriculum Vitae
Ademar Aguiar
Jan.2011
C URRICULUM V ITAE
Name................................................................. Ademar Manuel Teixeira de Aguiar
Birth .................................................................. 14 March 1966
Nationality ...................................................... Portuguese
Professional Address ........................................ Faculdade de Engenharia da Universidade do Porto
............................................................................. Rua Dr. Roberto Frias s/n
............................................................................. 4200-465 PORTO
Telephone ....................................................... +351 22 5081518
Fax...................................................................... +351 22 5081443
E-mail ............................................................... [email protected]
URL .................................................................... http://www.fe.up.pt/~aaguiar/
A CADEMIC D EGREES
PhD on Electrotechnical Engineering and Computers, from Faculty of Engineering , University of Porto
(FEUP), titled “A Minimalist Approach to Framework Documentation”, June 2004.
Master of Science on Electrotechnical Engineering and Computers from FEUP, July 1994.
Degree on Electrotechnical Engineering and Computers from FEUP, July 1989.
A CADEMIC P OSITIONS
Assistant Professor, from FEUP, since June 2004.
Assistant Lecturer, from FEUP, from October 1994 to June 2004.
R ESEARCH P OSITIONS
Researcher at INESC Porto, on Software Engineering areas, since 1989.
M AIN R ESEARCH A REAS
Software architecture: application frameworks (object-oriented and aspect-oriented); patterns of software.
Software engineering: agile documentation, wikis for software engineering (documentation and
collaboration), software knowledge engineering, aspect-oriented software development.
O THER S CIENTIFIC A REAS
Software architecture: component-based software development.
Software engineering: agile processes, object-oriented analysis and design, software engineering tools.
Information systems: Model-driven development; Business process modelling.
Ademar Aguiar, Curriculum Vitae
2/8
M AIN R ESEARCH AND D EVELOPMENT P ROJECTS
PDI – Master Plan for the Information Systems of Porto Municipality, project leader, INESC Porto, March 1992 –
March 1994.
PDI Execution Support – Master Plan for the Information Systems of Porto Municipality, project leader, INESC Porto,
March 1994 – January 1996.
Archivum – archival description system, researcher, FCT project, INESC Porto, de January 1996 – January 1998.
SIMAT – Municipal information systems, GIS technical applications, researcher, INESC Porto, July 1997 – March
2000.
Metamedia - Meta-information for Multimedia Archives, researcher, INESC Porto, July 1999 – July 2000.
ParadigmaXis –Software Engineering Consulting, consulting, INESC Porto, October 2000 – December 2001.
Metamedia 2 - Meta-information on the Preservation and Retrieval of Multimedia Components, researcher, INESC Porto,
October 2000 – March 2003.
GLOBALNest – Global constraints for irregular shapes placement problems, researcher, INESC Porto,
March 2004 – September 2006.
e-ASLA - e-Administration Framework for Small Local Administration, INESC Porto, January 2005 – July
2007.
MEDSI - Management Decision Support for Critical Infrastructures, 6th Framework Programme, Contract
IST-506991, consulting, January 2004 – October 2005.
DocIt! Cooperative Support for Cost-Effective Development of Quality Framework Documentation, project leader, January
2006 – December 2006.
Caalyx - Complete Ambient Assisted Living Experiment, 6th Framework Programme, Contract IST-2005-045215,
consulting, January 2007 – December 2008.
Porto Digital, Projecto POSC, Associação Porto Digital, Universidade do Porto, consulting, July 2005 –
December 2007.
Wipro Retail Wiki, Wipro Retail, INESC Porto, January 2009 – March 2009.
DBPreserve - Data Warehouses for the Long-term Preservation of Institutional Electronic Records and Databases, FCT
Project (PTDC/CCI/73166/2006), INESC Porto, researcher, October 2007 – September 2009.
R ECENT S CIENTIFIC A CTIVITIES
Hillside Group Board member, since October 2007. Board Vice-President, since March 2011.
WikiSym Steering Committee member, since September 2008.
SPLASH’2011 Workshops Chair, ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH’11), Portland, Oregon, October 2011, http://www.splashcon.org/.
Co-organizer of Agile Portugal 2011, Porto, Portugal, June 2011, http://agilept.org/.
Co-organizer of Agile Portugal 2010, Porto, Portugal, June 2010, http://agilept.org/.
Co-organizer of Wikis for Software Engineering, workshop of WikiSym’2009 – 5th International Conference on
Wikis and Open Collaboration, Orlando, Florida, October 2009, http://wikis4se.org/.
Co-organizer of Wikis for Software Engineering, workshop of ICSE’2009 - 31st International Conference on
Software Engineering, Vancouver, Canada, May 2009, http://wikis4se.org/.
Co-organizer of Practices for Linking Aspects Technology and Evolution, workshop of AOSD’2009 - 8th
International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, USA, March
2009, http://www.aosd.net/workshops/plate/2009/.
Conference chair for WikiSym’2008 – International Symposium on Wikis, Porto, Portugal.
3/8
Program chair for PLoP’2008 – 15th Conference on Pattern Languages of Programs, 2008, Nashville,
Tennessee, USA.
Co-organizer of Wikis for Software Engineering, workshop of WikiSym’2008, Porto, Portugal, September 2008,
http://wikis4se.org/.
Conference chair for PLoP’2007 – 14th Conference on Pattern Languages of Programs, 2007, Illinois, USA.
Co-organizer of Wikis for Software Engineering, workshop of WikiSym’2007, co-located with OOPSLA’2007,
Montreal, Canada, October 2007, http://wikis4se.org/.
Organizer of Wiki-based Software Documentation, workshop of WikiSym’2005, co-located with OOPSLA’2005,
San Diego, California, USA, October 2005, http://www.wikisym.org/ws2005/.
Organization co-chair of WER’2005 - VIII Workshop on Requirements Engineering, workshop of CAiSE’2005,
Porto, Portugal, June 2005, http://gnomo.fe.up.pt/~wer2005/.
Local organizer of CAiSE’2005 – The 17th Conference on Advanced Information Systems Engineering, Porto,
Portugal, June 2005, http://gnomo.fe.up.pt/~caise/.
Co-organizer of XATA’2003 – XML: Aplicações e Tecnologias Associadas, Braga, Portugal, February 2003,
http://xata.fe.up.pt/2003/.
Shepherd for several Conferences on Pattern Languages of Programs: EuroPLoP, VikingPLoP, and PLoP,
since 2001.
Reviewer of IEEE Software, 2007.
Tutorial Lecturer of “Agile Documentation of Object-Oriented Frameworks”, OOPSLA’2005, San Diego,
USA, 2005.
R ECENT P ROGRAM C OMMITTEES
Program committee member of PLoP’2010 – 17th Conference on Pattern Languages of Programs, co-located
with SPLASH’2010, Reno, USA, October 2010, http://hillside.net/plop/2010/.
Program committee member of WikiSym’2010 – International Symposium on Wikis, Gdansk, Poland, July
2010, http://www.wikisym.org/ws2010/.
Program committee member of WikiSym’2009 – International Symposium on Wikis, co-located with
OOPSLA’2009, Orlando, USA, October 2009, http://www.wikisym.org/ws2009/.
Program committee member of PLoP’2009 – 16th Conference on Pattern Languages of Programs, co-located
with Agile’2009, Chicago, USA, August 2009, http://hillside.net/plop/2009/.
Program committee member of COMPSAC’2009 - 33rd Annual IEEE International Computer Software and
Applications Conference, Seattle, USA, July 2009, http://conferences.computer.org/compsac/2009/.
Program committee member of EuroPLoP’2009 – 13th European Conference on Pattern Languages of Programs,
Irsee, Germany, July 2009, http://hillside.net/europlop/.
Program committee (chair) of Wikis for Software Engineering, workshop of ICSE’2009 - 31st International
Conference on Software Engineering, Vancouver, Canada, May 2009, http://wikis4se.org/.
Program committee member of Practices for Linking Aspects Technology and Evolution, workshop of
AOSD’2009 - 8th International Conference on Aspect-Oriented Software Development, Charlottesville,
Virginia, USA, March 2009, http://www.aosd.net/workshops/plate/2009/.
Program committee (chair) of PLoP’2008 – 15th Conference on Pattern Languages of Programs, co-located with
OOPSLA’2008, Nashville, Tennessee, USA, October 2008, http://hillside.net/plop/2008/.
Program committee member of JISBD’2008 – 13th Conference on Software Engineering and Databases, Gijón
(Spain), October 2008, http://www.sistedes.es/jisbd2008/.
Program committee member of Wikis for Software Engineering, workshop of WikiSym’2008, Porto,
Portugal, September 2008, http://wikis4se.org/.
4/8
Program committee member of CoRTA’2008 - Compilers, Related Technologies and Applications, Bragança,
Portugal, July 2008, http://www.estig.ipb.pt/corta2008/.
Program committee member and Shepherd of EuroPLoP’2008 – 12th European Conference on Pattern
Languages of Programs, Irsee, Germany, July 2008, http://hillside.net/europlop/europlop2008/.
Program Committee member of XATA’2008 – XML: Aplicações e Tecnologias Associadas, Évora, Portugal,
February 2008, http://xata.fe.up.pt/2008/.
Program Committee member of VEWAeL 2008 - First International Workshop on Virtual Environments and
Web
Applications
for
e-learning,
Athens,
Greece,
June
2008,
http://www.iaria.org/conferences2008/VEWAeL.html
Program committee member of OOPSLA’2007 Panels - ACM SIGPLAN International Conference on ObjectOriented Programming, Systems, Languages, and Applications, Montreal, Canada, October 2007,
http://www.oopsla.org/oopsla2007/.
OOPSLA’2007, Montreal, Canada, October 2007, http://www.wikisym.org/ws2007/.
Program committee member of Wikis for Software Engineering, workshop of WikiSym’2007, co-located
with OOPSLA’2007, Montreal, Canada, October 2007, http://wikis4se.org/.
Reviewer for the Program committee of ACM Hypertext’2007 Hypertext and Society Track, Manchester,
UK, September 2007, http://www.sigweb.org/ht07/.
Program committee member of SEDES’2007 - Simpósio para Estudantes de Doutoramento em Engenharia de
Software, Lisboa, Portugal, September 2007, http://quatic2007.dsi.uminho.pt/.
Program committee member of PLoP’2007 – 14th Conference on Pattern Languages of Programs, Illinois, USA,
September 2007, http://hillside.net/plop/2007/.
Program Committee member of XATA’2007 – XML: Aplicações e Tecnologias Associadas, Lisboa, Portugal,
Program committee member of WikiSym’2006 – International Symposium on Wikis, co-located with ACM
Hypertext’2006, Odense, Denmark, August 2006, http://www.wikisym.org/ws2006/.
Program Committee member of WER’2006 - IX Workshop on Requirements Engineering, Rio de Janeiro,
Brazil, July 2006, http://www.ime.uerj.br/~vera/WER06/.
Program Committee member of XATA’2006 – XML: Aplicações e Tecnologias Associadas, Portalegre,
Portugal, February 2006, http://xata.fe.up.pt/2006/.
OOPSLA’2005, San Diego, California, USA, October 2005, http://www.wikisym.org/ws2005/.
Program committee member of CAiSE’2005 – The 17th Conference on Advanced Information Systems
Engineering, Porto, Portugal, June 2005, http://gnomo.fe.up.pt/~caise/.
Program Committee member of WER’2005 - VIII Workshop on Requirements Engineering, workshop of
CAiSE’2005, Porto, Portugal, June 2005, http://gnomo.fe.up.pt/~wer2005/.
Program Committee member of IVNET’2005 – First International Conference of Innovative Views of .NET
Technologies, Porto, Portugal, June 2005, http://w2ks.dei.isep.ipp.pt/labdotnet/ivnet05/.
Program Committee member of XATA’2005 – XML: Aplicações e Tecnologias Associadas, Braga, Portugal,
Reviewer for The 2nd International Conference on Information Technology (ICIT 2005) - “Human Computer
Interaction”.
Program Committee member of XATA’2003 – XML: Aplicações e Tecnologias Associadas, Braga, Portugal,
5/8
R ECENT P UBLICATIONS
Rito Silva, António; Martinho, David; Aguiar, Ademar; Flores, Nuno; Correia, Filipe Figueiredo; Ferreira,
Hugo Sereno, An Implementation Model for Agile Business Process Tools, IWODE’09 — International
Workshop on Organizational Design and Engineering, December 2009, Lisboa, Portugal,
http://iwode09.ist.utl.pt/.
Correia, Filipe Figueiredo; Ferreira, Hugo Sereno; Flores, Nuno; Aguiar, Ademar, Incremental Knowledge
Acquisition in Software Development Using a Weakly-Typed Wiki, WikiSym’09 — International
Symposium on Wikis and Open Collaboration. October 2009, Orlando, Florida, USA,
http://wikisym.org/ws2009/.
Correia, Filipe Figueiredo; Ferreira, Hugo Sereno; Aguiar, Ademar, Design for an Adaptive Object-Model
Framework: An Overview, 4th International Workshop MODELS@runtime 2009, October 2009, Denver,
Colorado, USA. http://www.hillside.net/plop/2009/.
Correia, Filipe Figueiredo; Ferreira, Hugo Sereno; Flores, Nuno; Aguiar, Ademar, Patterns for Consistent
Software Documentation, PLoP’09 — Conference on Pattern Languages of Programs, October 2009,
Chicago, Illinois, USA, http://www.hillside.net/plop/2009/.
Ferreira, Hugo Sereno; Aguiar, Ademar; Faria, João Pascoal, Adaptive Object-Modelling: patterns, tools,
and applications, SEDES’09 — Simpósio para Estudantes de Doutoramento em Engenharia de Software,
September 2009, Porto, Portugal, http://www.iaria.org/conferences2009/SEDES.html.
Restivo, André; Aguiar, Ademar, Testing for Unexpected Interactions in AOP, SEDES’09 — Simpósio
para Estudantes de Doutoramento em Engenharia de Software, September 2009, Porto, Portugal,
http://www.iaria.org/conferences2009/SEDES.html.
Flores, Nuno; Aguiar, Ademar, Patterns and Tools for improving Framework Understanding: a
Collaborative Approach, SEDES’09 — Simpósio para Estudantes de Doutoramento em Engenharia de
Software, September 2009, Porto, Portugal, http://www.iaria.org/conferences2009/SEDES.html.
Mira Kajko-Mattsson, Ademar Aguiar, Kenneth Boness, Hermann Kaindl, Rob Pooley, Andreas Tael,
Long-Term Perspective of Agile Methods, Fourth International Conference on Software Engineering
Advances, 2009, http://www.iaria.org/conferences2009/.
Antonio Rito Silva, Rachid Meziani, Rodrigo Magalhaes, David Martinho, Ademar Aguiar, Nuno Flores,
AGILIPO: Embedding Social Software Features into Business Process Tools, The Second Workshop on
Business Process Management and Social Software, 2009.
Soares, Gabriela; Rossetti, Rosaldo; Flores, Nuno; Aguiar, Ademar; Ferreira, Hugo Sereno. Towards a
Cooperative Personal Agenda in a Collaborative Team Environment. 6th International Conference on
Cooperative Design, Visualization and Engineering. Luxembourg. September 2009.
Ferreia, Hugo Sereno; Correia, Filipe Figueiredo; Aguiar, Ademar. Design for an Adaptive Object-Model
Framework: An Overview. 4th International Workshop of [email protected] (co-located with 12th
International Conference On Model Driven Engineering Languages And Systems). Denver, Colorado,
USA. October 2009.
Ademar Aguiar, Paulo Merson, Uri Dekel, “Proceedings of the Wikis for Software Engineering
Workshop”, ICSE’2009 Companion, IEEE/ACM, Vancouver, Canada, May 2009 (to appear).
Ademar Aguiar, Paulo Merson, Uri Dekel, “Wikis for Software Engineering Workshop”, ICSE’2009
Companion, IEEE/ACM, Vancouver, Canada, May 2009 (to appear).
André Restivo, Ademar Aguiar, “drUID – Unexpected Interactions Detection”, AOSD’2009, ACM,
Charlottesville, Virginia, March 2009 (to appear).
Ademar Aguiar, Mark Bernstein, “Proceedings of the 2008 International Symposium on Wikis –
WikiSym’2008”, Porto, Portugal, ACM (to appear).
Ademar Aguiar, Joe Yoder, “Proceedings of the 2008 Conference on Pattern Languages of Programs”,
ACM, Nashville, Tennessee, USA, October 2008 (to appear).
Nuno Flores, Ademar Aguiar, “Patterns for Understanding Frameworks". PLoP’2008, ACM, Nashville,
Tennessee, USA, October 2008 (to appear).
6/8
André Restivo, Ademar Aguiar, “Disciplined Composition of Aspects using Tests”. 4th International
Linking Aspect Technology and Evolution workshop (LATE'08), Brussels, Belgium, April 2008.
Nuno Flores, Ademar Aguiar, “Patterns for Understanding Frameworks". PLoP’2008, Nashville,
Tennessee, USA, October 2008.
André Restivo, Ademar Aguiar, “Disciplined Composition of Aspects using Tests”. 4th International
Linking Aspect Technology and Evolution workshop (LATE'08), Brussels, Belgium, April 2008.
Ademar Aguiar, Gabriel David, “Patterns for Documenting Frameworks - Process". SugarLoafPLoP’2007,
Recife, Brazil, May 2007.
André Restivo, Ademar Aguiar, “Towards Detecting and Solving Aspect Conflicts and Interferences Using
Unit Tests”. Software Engineering Properties of Languages and Aspect Technologies (SPLAT'07),
Vancouver, B.C., Canada, March 2007.
Paulo Santos, Ademar Aguiar, "Drag-and-Dock Design Pattern", PLoP’2006, Portland, USA, October de
2006.
Ademar Aguiar, Gabriel David, “Patterns for Documenting Frameworks: part III", PLoP’2006, Portland,
USA, October 2006.
Nuno Flores, Ademar Aguiar, “Design Pattern Recovery to Improve Framework Understanding”. In 1st
International Workshop on Design Patterns Detection for Reverse Engineering (DPD4RE 2006),
WCRE'06, Benevento, Italy, October 2006.
Ademar Aguiar, Gabriel David, “Patterns for Documenting Frameworks: part II", EuroPLoP’2005, Irsee,
Alemanha, July 2006.
Clara Silveira, João Pascoal Faria, Ademar Aguiar, Raul Vidal, “Wiki Based Requirements Documentation
of Generic Software Products”. AWRE'05 - The Tenth Australian Workshop on Requirements
Engineering, 22 November 2005, Melbourne, Australia, pp. 42-51 (best paper award)
Ademar Aguiar, Gabriel David, “WikiWiki Weaving Heterogeneous Software Artifacts”, In proceedings of
WikiSym 2005 - 2005 International Symposium on Wikis, Oct 17-18, 2005, San Diego, California, U.S.A.,
co-located with ACM OOPSLA 2005.
Ademar Aguiar, Gabriel David, “Patterns for Documenting Frameworks: part I", VikingPLoP’2005,
Helsinki, Finland, September 2005.
Nuno Flores, Ademar Aguiar, “JFREEDOM: a Reverse Engineering Tool to Recover Framework
Design”, in Serge Demeyer, Kim Mens, Roel Wuyts, Stéphane Ducasse, Proceedings of the 6th ECOOP
Workshop on Object-Oriented Reengineering (WOOR’05), Glasgow, July 2005, Springer-Verlag,.
Nuno Flores, Ademar Aguiar, “Reverse Engineering of Framework Design using a Meta-Patterns-based
Approach”, AICCSA’2005 – Workshop on Software Stability: Timeless Architectures and System of
Patterns, Cairo, Egipt, January 2005.
Susanne Jucknath, Jan Wloka, Eric Jul, Sari R. Eldadah, Ademar Aguiar: “The Combined 14th Workshop
for PhD Students in Object-Oriented Systems and Doctoral Symposium”, in “Object-Oriented
Technology: ECOOP 2004 Workshop Reader”, ECOOP 2004 Workshops, Oslo, Norway, June 14-18,
2004, Final Reports. Lecture Notes in Computer Science 3344 Springer 2005, ISBN 3 540 23988 X.
Ademar Aguiar, Gabriel David, Greg Badros, "JavaML 2.0: enriching the markup language for Java source
code", XATA’2004 – XML, Aplicações e Tecnologias Associadas, Porto, Portugal, February 2004.
Ademar Aguiar, Gabriel David, Manuel Padilha, "XSDoc: An Extensible Wiki-based Infrastructure for
Framework Documentation", VIII Jornadas de Ingeniería del Software y Bases de Datos, Alicante, Spain,
November 2003.
Ademar Aguiar, Gabriel David, "A Minimalist Approach to Framework Documentation", in 13th
Workshop for PhD Students in Object-Oriented Systems, Workshop Reader of the 15th European
Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003.
Ademar Aguiar, Gabriel David, "FrameDocMS – um sistema de gestão de conteúdos para documentação
de frameworks baseado em XML e WikiWikiWeb", XATA’2003 – XML, Aplicações e Tecnologias
Associadas, Braga, Portugal, February 2003.
7/8
Ademar Aguiar, A. Sousa, A. Pinto, "Use-Case Controller", in Proceedings of the Sixth European
Conference on Pattern Languages of Programming and Computing, Irsee, Germany, 2001.
Ademar Aguiar. "A Minimalist Approach to Framework Documentation", in OOPSLA 2000 Companion
proceedings of the 15th Annual ACM Conference on Object-Oriented Programming Systems, Languages
and Applications, Minneapolis, Minnesota, United States of America, October 2000.
Gabriel David, Maria Cristina Ribeiro, José Torres, Ademar Aguiar, "Metadata for the Preservation and
Retrieval of Multimedia Components", in ECAI - Electronic Cultural Atlas Initiative, 2000.
Ademar Aguiar, "Pseudo-Reference Pattern", in Proceedings of the Fourth European Conference on
Pattern Languages of Programming and Computing (EuroPLoP 1999), pages 1–12, Universittsverlag
Konstanz.
R ECENT A CADEMIC C OURSES
Research Topics in Software Engineering, ProDEI – Doctoral Programme on Informatics Engineering,
FEUP (since 2005).
Architecture of Software Systems, MEI and MIEIC Masters on Informatics Engineering, FEUP (since 2004).
Agile Methods, MEI and MIEIC Masters on Informatics Engineering, FEUP (since 2005).
Software Engineering Laboratory, MIEIC Master on Informatics Engineering, FEUP (since 2001).
Software Engineering, MIEEC Master on Electrical and Computer Engineering, FEUP (since 2004).
Software Project Management Laboratory, MIEIC Master on Informatics Engineering, FEUP (since 2003).
A DVANCED T RAINING C OURSES
Organization, coordination, and lecturing of several advanced training courses (~40), since 1994, for software
companies, on topics related to Software Development (Eiffel, C++, OODBs, Java,) and Software
Engineering (OOAD, OOP, OMT/UML, Eclipse, Agile Methods, Refactoring, Patterns, SOA).
L ANGUAGES
English: very good. French: reasonable.
8/8
CURRICULUM VITÆ
João M. Fernandes
2010, 08 May
Full name: João Miguel Lobo Fernandes
Birth date: 1968, 19 June
Nationality: Portuguese
Institutional address:
Universidade do Minho
Departamento de Informática
Campus de Gualtar
4710-057 Braga, Portugal
Phone, Fax, E-mail: 351-253-604459, 351-253-604459, jmf[at]di.uminho.pt
Webpage: www.di.uminho.pt/~jmf
Academic degrees, Institutions, Fields of study:
• PhD, U.Minho, Informatics / Computer Engineering, May/2000.
• MSc, U.Minho, Informatics / Computing Science, Jul/1994.
• Licenciatura (5-year degree), U.Minho, Systems and Informatics Engineering, Sep/1991.
Current position, Institution: Associate Professor, U.Minho, since Oct/2007.
Previous positions, Institutions:
 Visiting Assistant Professor, Aarhus Universitet, Dep. Computer Science, Denmark, Sep/2006-Jun/2007.
 Invited Assistant Professor, Universidade do Algarve, Faculty of Sciences and Technology, Faro, Portugal,
Sep/2004-Jun/2006.
 Post-doctoral Researcher, TUCS, Turku, Finland, Sep/2002-Feb/2003.
 Vice-president of the Engineering Degrees Council, U.Minho, Oct/2004-Sep/2006.
 Director of the 5-year degree in Systems and Informatics Engineering, U.Minho, Jun/2004-Sep/2006.
 Assistant Professor, U.Minho, May/2000–Oct/2007.
 Assistant, U.Minho, Jul/1994–May/2000.
 Teaching Assistant, U.Minho, Nov/1991–Jul/1994.
 Junior Assistant, U.Minho, 1989/90.
Main research area: Software Engineering
Other scientific interests: Embedded Computing, Systems Modelling
Organisation of international scientific conferences:
1. Organising Committee Chair, 31st International Conference on Application and Theory of Petri Nets and
Other Models of Concurrency (PETRI NETS 2010), Braga, Portugal, Jun/2010. Proceedings to be
published by Springer.
2. Organising Committee Chair, 10th International Conference on Application of Concurrency to System
Design (ACSD 2010), Braga, Portugal, Jun/2010. Proceedings to be published by IEEE Computer Society
Press.
3. Program Committee Co-chair, 3rd International Summer School on Generative and Transformational
Techniques in Software Engineering (GTTSE 2009), Braga, Portugal, Jul/2009.
4. Editor and organiser, Workshop series on Model-based Methodologies for Pervasive and Embedded
Software (MOMPES); 6 editions, 2004-2009. Proceedings published by IEEE Computer Society Press,
since 2006.
5. Industry Liaison Committee Chair, IEEE Second International Symposium on Industrial Embedded
Systems (SIES 2007), Costa da Caparica (Lisbon), Portugal, Jul/2007
6. Organising Committee Co-chair, 5th IFIP International Conference on Distributed and Parallel Embedded
Systems (DIPES 2006), Braga, Portugal, Oct/2006. Proceedings published in IFIP series, Springer.
7. Organising Committee Co-chair and Finance chair, 3rd IEEE International Conference on Application of
Concurrency to System Design (ACSD 2003), Guimarães, Portugal, Jun/2003. Proceedings published by
IEEE Computer Society Press.
8. Program Committee Member of several international conferences and workshops: BM-MDA, CENICS,
CONTROLO, CPN, DIPES, DSOA, ENC, ETFA, ICESS, ICSEA, INForum, MOMPES, PETRI NETS,
9.
QUORS, QUATIC, REC, SIES, SPAC, TeaConc, UCAmI, WMUPS.
Reviewer for international journals published by IEEE (Computer, Software, Transactions on Computers,
Transactions on Software Engineering, Transactions on Knowledge and Data Engineering, Transactions on
Industrial Electronics), ACM (Transactions on Embedded Computing Systems), Elsevier (Computers in
Industry, Energy, Information Sciences, Integration - the VLSI Journal, Science of Computer
Programming), Springer (Software and Systems Modeling, Transactions on Petri Nets and Other Models
of Concurrency), and Taylor & Francis (European Journal of Engineering Education).
Most relevant publications (2005-9):
1. Fernandes JM, Sousa SM; PlayScrum - A Card Game to Learn the Scrum Agile Method, 2nd International
Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES 2010), Braga, Portugal,
IEEE Computer Society Press, pp. 52–9, Mar/2010. doi 10.1109/VS-GAMES.2010.24.
2. Larsen PG, Fernandes JM, Habel J, Lehrskov H, Vos RJC, Wallington O, Zidek J; A Multidisciplinary
Engineering Summer School in an Industrial Setting, European Journal on Engineering Education
34(6):511–26, Taylor & Francis, ISSN 0304-3797, Dec/2009. doi: 10.1080/03043790903150687.
3. Ribeiro OR, Fernandes JM; Validation of Scenario-based Business Requirements with Coloured Petri
Nets, 4th International Conference on Software Engineering Advances (ICSEA 2009), Porto, Portugal,
IEEE Computer Society Press, pp. 250–5, ISBN 978-0-7695-3777-1, Sep/2009. doi 10.1109/ICSEA.2009.45.
4. Gomes L, Fernandes JM (eds.); Behavioral Modeling for Embedded Systems and Technologies:
Applications for Design and Implementation, IGI Global, ISBN 978-1-60566-750-8, Jul/2009. This 494page book is divided in 15 chapters written by well-known professors and experts from industry.
5. Jørgensen JB, Tjell S, Fernandes~JM; Formal Requirements Modeling with Executable Use Cases and
Coloured Petri Nets, Innovations in Systems and Software Engineering 5(1):13-25, Springer, Mar/2009. doi
10.1007/s11334-009-0075-6.
6. Fernandes JM, Machado RJ, Seidman S; A Requirements Engineering and Management Training Course
for Software Development Professionals, 22th IEEE-CS Conference on Software Engineering Education &
Training (CSEE&T 2009), Hyderabad, Índia, IEEE Computer Society Press, pp. 20-5, Feb/2009. doi
10.1109/CSEET.2009.24.
7. Tjell S, Fernandes JM; Expressing Environment Assumptions and Real-time Requirements for a
Distributed Embedded System with Shared Variables, Distributed Embedded Systems: Design,
Middleware and Resources, Kleinjohann B, Kleinjohann L, Wolf W (eds.), Springer, IFIP 271, pp. 79-88,
Sep/2008. doi 10.1007/978-0-387-09661-2_8.
8. Monteiro MP, Fernandes JM; An Illustrative Example of Refactoring Object-oriented Source Code with
Aspect-oriented Mechanisms, Software: Practice and Experience 38(4):361–96, Wiley, Apr/2008. doi
10.1002/spe.835.
9. Fernandes JM, Jørgensen JB, Tjell S; Requirements Engineering for Reactive Systems: Coloured Petri
Nets for an Elevator Controller, 14th Asia-Pacific Software Engineering Conference (APSEC 2007),
Nagoya, Japan, IEEE Computer Society Press, pp. 294--301, Dez/2007. doi: 10.1109/APSEC.2007.81.
10. Fernandes JM, Machado RJ, Teaching Embedded Systems Engineering in a Software-Oriented Computing
Degree, 37th Annual ASEE/IEEE Frontiers in Education Conference (FIE 2007), Milwaukee, WI, USA,
Oct/2007. doi 10.1109/FIE.2007.4417949.
11. Mashkoor A, Fernandes JM, Deriving Software Architectures for CRUD Applications: The FPL Tower
Interface Case Study, 2nd International Conference on Software Engineering Advances (ICSEA 2007),
Cap Esterel, France, IEEE Computer Society Press, Aug/2007. doi 10.1109/ICSEA.2007.25.
12. Ribeiro OR, Fernandes JM, Translating Synchronous Petri Nets into PROMELA for Verification of
Behavioural Properties, 2nd IEEE International Symposium on Industrial Embedded Systems (SIES 2007),
Costa da Caparica, Portugal, IEEE, Jul/2007. doi 10.1109/SIES.2007.4297344.
13. Fernandes JM, Tjell S, Jørgensen JB, Ribeiro OR, Designing Tool Support for Translating Use Cases and
UML 2.0 Sequence Diagrams into a Coloured Petri Net, 6th International Workshop on Scenarios and
State Machines (SCESM 2007), within the 29th International Conference on Software Engineering (ICSE
2007), Minneapolis, MN, USA, IEEE Computer Society Press, May/2007. doi: 10.1109/SCESM.2007.1.
14. Fernandes JM, Machado RJ, A Two-Year Software Engineering M.Sc. Degree designed under the
Bologna Declaration Principles, 1st International Conference on Software Engineering Advances (ICSEA
2006), Tahiti, French Polynesia, IEEE Computer Society Press, Oct-Nov/2006. doi: 10.1109/ICSEA.2006.13.
15. Fernandes JM, Machado RJ, Monteiro PA, Rodrigues H, A Demonstration Case on the Transformation of
Software Architectures for Mobile Applications, From Model-Driven Design to Resource Management for
Distributed Embedded Systems, Kleinjohann B, Kleinjohann L, Machado RJ, Pereira C, Thiagarajan PS
(eds.), Springer, IFIP 225, pp. 235–44, Oct/2006, ISBN 0-387-39361-7.
16. Fernandes JM, Lilius J., Truscan D., Integration of DFDs into a UML-based Model-Driven Engineering
CV - João M. Fernandes
2/4
2010, 08 May
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
Approach, Software and Systems Modeling (SoSyM) 5(4):403–28, Springer, Dec/2006. doi: 10.1007/s10270006-0013-0.
Duarte FJ, Fernandes JM, Machado RJ, Business Modeling in Process-Oriented Organizations for RUPbased Software Development, Reference Modeling for Business Systems Analysis, Fettke P, Loos P (eds.),
Idea Group, Hershey, Pennsylvania, USA, chap. 5, pp. 98–117, Oct/2006.
Machado RJ, Fernandes JM, Monteiro PA, Rodrigues H, Refinement of Software Architectures by
Recursive Model Transformations, 7th International Conference on Product Focused Software Process
Improvement (PROFES 2006), Münch J, Vierimaa M (eds.), Amsterdam, The Netherlands, Springer,
LNCS 4034, pp. 422–8, Jun/2006. doi: 10.1007/11767718_38.
Monteiro MP, Fernandes JM, Towards a Catalogue of Refactorings and Code Smells for AspectJ,
Transactions on Aspect-Oriented Software Development I, Springer, Rashid A, Aksit M (eds.), LNCS
3880, pp. 214–58, Mar/2006. doi: 10.1007/11687061 7.
Monteiro MP, Fernandes JM, Refactoring a Java Code Base to AspectJ: An Illustrative Example, 21st
IEEE International Conference on Software Maintenance (ICSM 2005), Budapest, Hungary, IEEE
Computer Society Press, pp. 17–26, Sep/2005. doi: 10.1109/ICSM.2005.75.
Machado RJ, Fernandes JM, Integration of Embedded Software with Corporate Information Systems,
From Specification to Embedded Systems Application, Rettberg A, Zanella MC, Rammig FJ (eds.), pp.
169–78, Springer, Aug/2005. doi: 10.1007/11523277 17.
Machado RJ, Ramos I, Fernandes JM, Specification of Requirements Models, Engineering and Managing
Software Requirements, Aurum A., Wohlin C. (eds.), chap. 3, pp. 47–68, Springer, Jul/2005. doi: 10.1007/3540-28244-0_3.
Machado RJ, Fernandes JM, Monteiro PA, Rodrigues H, Transformation of UML Models for ServiceOriented Software Architectures, 12th IEEE International Conference on the Engineering of Computer
Based Systems (ECBS 2005), Greenbelt, Maryland, USA, pp. 173–82, IEEE Computer Society Press,
Apr/2005. doi: 10.1109/ECBS.2005.73.
Ribeiro OR, Fernandes JM, Pinto L, Model Checking Embedded Systems with PROMELA, 12th IEEE
International Conference on the Engineering of Computer Based Systems (ECBS 2005), Greenbelt,
Maryland, USA, IEEE Computer Society Press, pp. 378–85, Apr/2005. doi: 10.1109/ECBS.2005.53.
Monteiro MP, Fernandes JM, Towards a Catalog of Aspect-Oriented Refactorings, 4th International
Conference on Aspect-Oriented Software Development (AOSD 2005), Tarr P (ed.), Chicago, Illinois,
USA, ACM Press, pp. 111–22, Mar/2005. doi: 10.1145/1052898.1052908.
Fernandes JM, Duarte FJ, A Reference Framework for Process-Oriented Software Development
Organizations, Software and Systems Modeling (SoSyM) 4(1):94–105, Springer, Feb/2005. doi:
10.1007/s10270-004-0063-0.
PhD and MSc supervisions:
1. PhD in Information Systems, Francisco José Monteiro Duarte, Automated Information Systems
Generation for Process-Oriented Organizations. Started in Oct/2006.
2. PhD in Informatics, Óscar Rafael da Silva Ferreira Ribeiro. Animation and Validation of Reactive
Software from Scenario-Based Models. Finished in Dec/2009.
3. PhD in Informatics, Miguel Jorge Tavares Pessoa Monteiro, Refactorings to Evolve Object-Oriented
Systems with Aspect-Oriented Concepts. Finished in Jul/2005.
4. MSc in Informatics, Sónia Marlene Pereira de Sousa, Play Scrum - Um Jogo para a Aprendizagem do
Método Ágil Scrum. Finished in Dec/2009.
5. MSc in Informatics, Susana de Jesus Prozil Rodrigues, Algoritmos de decisão multi-critério para
atribuição de prioridades a requisitos de software. Finished in Dec/2009.
6. MSc in Informatics, Mauro Jorge Pereira Almeida, Classificação e Comparação de Métodos Ágeis de
Desenvolvimento de Software. Finished in Jan/2009.
7. MSc in Informatics, Paula Alexandra Fernandes Monteiro, Model-based Transformations for Pervasive
Software Architectures. Finished in May/2006.
8. MSc in Informatics, Óscar Rafael da Silva Ferreira Ribeiro, Model Checking of Petri Nets for Embedded
Systems. Finished in Jul/2005.
9. MSc in Informatics, Francisco José Monteiro Duarte. Process-Oriented Software Engineering. Finished in
Jul/2002.
Funded projects:
1. UMinho Principal Researcher, AMADEUS: Aspects and Compiler Optimizations for Matlab System
Development, Dec/2007-Nov/2009. Programme FCT (PTDC/EIA/70271/2006). Partners: Inesc-Porto
(coordination; João M.P. Cardoso), U.Minho, Uninova, Deimos.
3/4
2010, 08 May
2.
3.
4.
5.
6.
UMinho Principal Researcher, SOFTAS: Software Development with Aspects, Set/2005-Dez/2007.
Programme FCT (POSI/EIA/60189/2004). Partners: FCT-UNL (coordination; Ana M. Moreira), U.Minho,
IP Beja, IP Castelo Branco, LINCIS, NAV.
Researcher, uPAIN: Ubiquitous Solutions for Pain Monitoring and Control in Post-Surgery Patients,
Jan/2005-Fev/2008. Programme AdI/Ideia 2004 (AdI/IDEIA/70/2004/3.1B/00364/007). Partners: U.Minho
(coordination; Ricardo J. Machado e Armando Pinto de Almeida), Hospital da Senhora da Oliveira de
Guimarães, MobiComp - Computação Móvel.
Researcher, STACOS: Standard-Based Cooperative Software, Jan/2004-Abr/2007. Programme FCT
Sapiens 2002 (POSI/CHS/48875/2002). Partners: U.Minho (coordination; Ricardo J. Machado), FCUL,
INESC-ID, IDITE-Minho, LINCIS, ATX Software.
Researcher, PPC-VM: Portable Parallel Computing based on Virtual Machines, Mar/2004-Feb/2007.
Programa FCT Sapiens 2002 (POSI/CHS/47158/2002). Partners: U.Minho (coordination; João L. Sobral).
Principal Researcher, METHODES: Methodologies and Tools for Developing Embedded Systems,
Fev/2002-Jan/2006. Programme FCT Sapiens 2001 (POSI/CHS/37334/2001). Partners: U.Minho, ISEP,
IDITE-Minho.
Courses taught in the last years:
In the academic years 2009/10, I was responsible for a optional MAP-i course on “Research Topics in Software
Engineering” (9 students). In the academic years 2007/08 and 2008/09, I was responsible for a optional MAP-i
course on “Model-Driven Software Engineering” (around 10 students) and a graduate course on “Requirements
Engineering and Management” (around 15 students). I was also involved in lecturing a undergraduate course
on “Computing System” (around 330 students).
In the academic year 2006/07, I was on a sabbatical leave at the Dep. of Computer Science at University of
Aarhus, Denmark, as an invited assistant professor. I had no teaching duties in that period.
4/4
2010, 08 May
CURRICULUM VITAE
João Carlos Pascoal de Faria
1. Personal data
Full name: João Carlos Pascoal de Faria
National identity card: 03703791, Porto, 25-9-2009
Birth place and date: Matosinhos, 19-10-1959
Nationality: Portugal
Institutional address: Faculdade de Engenharia da Universidade do Porto,
Rua Dr. Roberto Frias, s/n, 4200-465 Porto, PORTUGAL.
Home address: R. de Serralves, nº 635, 1º Esquerdo, 4150-708 Porto, Portugal
Fiscal identity number: 169795381, Porto, 6º bairro
Contact data: Telephone: 225081523, E-mail: [email protected] , Url:
http://www.fe.up.pt/si/funcionarios_geral.formview?p_codigo=210006
2. Academic degrees and qualifications
Licentiate (5 years): Electrical Engineering - Digital Systems and Computers, Faculty of
Engineering of the University of Porto (FEUP), classification 18 (1985).
PhD: Electrical and Computer Engineering, FEUP, approved by unanimity, Data-driven
Active Rules for the Maintenance of Integrity Constraints and Derived Data in Interactive
Database Applications (1999).
He is also a certified PSP1 Developer, authorized PSP Instructor, and trained TSP2 Coach
by the Software Engineering Institute of the Carnegie Mellon University.
3. Previous and current scientific and/or professional activities
Lecturer at FEUP (December 1985-): He is currently Assistant Professor at the
Informatics Engineering Department of the Faculty of Engineering of the University of
Porto (FEUP), where he is since December 1985. He teaches courses on software
engineering, software testing, requirements engineering, and software project
management. He conducts scientific research work and supervision on several software
engineering topics, namely model-base testing, model-driven development and
software process improvement. He is a member of the scientific council of the
Integrated Master Program on Informatics Engineering. He represents FEUP as vice-
1
Personal Software Process.
2
Team Software Process.
1
president in the "Comissão Sectorial para a Qualidade nas Tecnologias de Informação e
Comunicações (CS03)" of the "Conselho Nacional para a Qualidade" (CNQ).
Researcher at INESC Porto (October 1985-): He is a researcher at INESC-Porto since
1985, in the field of Software Engineering and Information Systems, currently at the
Information and Information and Computer Graphic Systems (USIG) Unit. From 1989 to
1999 he led the development and maintenance of a rapid application development tool
(SAGA), still in use in Portugal and abroad.
Novabase-Saúde (August 2000 - February 2002): In Novabase-Saúde he was responsible
for innovation in the Development Unit, where he participated in the CSI (development
of a hospital management system) and SIIMS (definition of the future hospital
management systems of the Ministry of Health) projects.
Sidereus (March 2002 - November 2002) - He worked with Sidereus as Software
Architect in database auditing projects and in the development of Costumer
Relationship Management systems.
4. Area of scientific work
Software Engineering.
5. Domain of specialization
Domain of specialization (PhD): Rapid application development tools.
Present research interests: Model-based testing. Model-driven software engineering.
Software process improvement.
6. PhD Supervision (last 5 years)
Role
Student
Thesis
Program
Period
and status
CoSupervisor
Hugo José
Sereno Lopes
Ferreira
PhD in Informatics To be
(MAP-I)
concluded
2011
Supervisor
António
Miguel
Rosado da
Cruz
Adaptive Object
Modelling: Patterns,
Tools and
Applications
Automatic Generation
of User Interfaces from
Rigorous Domain and
Use Case Models
PhD in Informatics Concluded
Engineering
January
(FEUP)
2011
2
Supervisor
Pedro Miguel
Mendes
Automatic Testing of
Graphical User
Interfaces Based on
UML Behavioral
Models
PhD in Informatics Started
Engineering
January
(FEUP)
2007
(suspende
nd)
Cosupervisor
Ana Cristina
Ramada
Paiva
Automated
Specification-based
Testing of User
Interfaces
PhD in Electrical
and Computer
Engineering
(FEUP)
Concluded
February
2007
Cosupervisor
Maria Clara
dos Santos
Pinto Silveira
Requirements Reuse in
the Development and
Adaptation of Generic
Software Products
PhD in Electrical
and Computer
Engineering
(FEUP)
Concluded
April 2006
He has also supervised dozens of master students in several software engineering and
informatics fields.
7. Projects (recent)
Project name
Funding
Institution(s)
Role
Period
QUEST - A Quest for
Reliability in Generic
Software Components
FCT
FC/UL,
Member of the
research team
Jan
2009Dec
2012
AAL4ALL – Ambient
Assisted Living for All
QREN SI I&DT Fraunhofer
Projectos
Portugal,
Mobilizadores FEUP, INESC
Porto, etc. (32
partners)
Participation in
workpackage
“Sistema de
validação e
certificação do
ecossistema
AAL4ALL”
Mar
2011Feb
2014
AMBER iTest - An
Automated Modelbased User Interface
Testing Environment
FCT
FEUP, Critical
Software
Principal
investigator
Jan
2008Jun
2011
REVVIS - Reunião de
Especialistas em
Verificação e Validação
CYTED
Several
(CYTED
network,
Member of FEUP
team, V&V of user
interfaces with
20072010
FEUP
3
de Software
Portugal,
model-based
Spain and
testing and
Latin America) usability
evaluation
YES!VV Demonstration of the
Independent Software
Verification &
Validation Technology
ADI
FEUP, Critical
Software,
Efacec
Leader of scientific 2007consultancy team 2008
from FEUP
IVY - A model-based
usability analysis
environment
FCT
Minho
University,
FEUP, INESC
Porto
Analysis of
alternative
modelling
notations.
July
2005 June
2008
8. Publications (recent)
• TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
Francisco Andrade, João Pascoal Faria, Ana Cristina Paiva
6th International Conference on Software and Data Technologies (ICSOFT 2011),
Seville, Spain, 2011 (accepted)
• PROPOSAL AND ASSESSMENT OF A CLASSIFICATION OF DEFECT TYPES IN REQUIREMENTS
SPECIFICATIONS
Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal, Marco Vieira,
CISTI’2011 (6ª Conferência Ibérica de Sistemas e Tecnologias de Informação), 15 a 18
de Junho de 2011, em Chaves, Portugal. (accepted)
• CMMI PRACTICES: EVALUATING THE QUALITY OF THE IMPLEMENTATION
Isabel Lopes Margarido, João Pascoal Faria, Marco Vieira, Raul Moreira Vidal, SEPG
Europe’2011, 7-9 June, 2011, Dublin, Ireland. (accepted)
• PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND
COMMUNICATIONS TECHNOLOGY - QUATIC'2010
Fernando Brito e Abreu (Editor), João Pascoal de Faria (Editor), Ricardo J. Machado
(Editor), IEEE Computer Society, 2010
• ADAPTIVE OBJECT-MODELS: A RESEARCH ROADMAP
Hugo Sereno Ferreira, Filipe Figueiredo Correia, Ademar Aguiar, João Pascoal Faria,
International Journal on Advances in Software, Vol.3 nº 1, pp.-, 2010
• A METAMODEL-BASED APPROACH FOR AUTOMATIC USER INTERFACE GENERATION
António Miguel Rosado da Cruz, João Pascoal Faria , MODELS’2010, Lecture Notes in
Computer Science, Volume 6394/2010, pp 256-270, 2010 (best paper award)
4
• AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE
CASE MODELS
António M. R. Cruz, João P. Faria, User Interfaces, pp. 35-60, INTECH, 2010 (book
chapter)
• A GAP ANALYSIS METHODOLOGY FOR THE TEAM SOFTWARE PROCESS
Luís Amaral, João P. Faria, in 7th International Conference on the Quality of
Information and Communications Technology (QUATIC 2010), pp.424-429, IEEE
Computer Society Conference Publishing Services, 2010
• TEST COVERAGE ANALYSIS OF UML ACTIVITY DIAGRAMS FOR INTERACTIVE SYSTEMS
Ricardo Ferreira, João P. Faria, Ana C. R. Paiva, in 7th International Conference on the
Quality of Information and Communications Technology (QUATIC 2010), pp.268-273,
IEEE Computer Society Conference Publishing Services, 2010
• A ROADMAP TOWARD SOFTWARE QUALITY AT FEUP,
João P. Faria, Raul M. Vidal, Ana C. Paiva, in SEPG Europe 2010, 28 June - 1 July 2010
• REVERSE ENGINEERING OF GUI MODELS FOR TESTING
André M. P. Grilo, Ana C. R. Paiva, João Pascoal Faria, CISTI 2010 (5ª Conferência
Ibérica de Sistemas e Tecnologias de Informação), 16-19 June 2010, Santiago de
Compostela
• TEST COVERAGE ANALYSIS OF UML STATE MACHINES
Ricardo Ferreira, João P. Faria, Ana C. R. Paiva, in Third International Conference on
Software Testing, Verification, and Validation Workshops (ICSTW), pp.284-289, IEEE
CONFERENCES, 2010
• AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE
CASE MODELS
António M. R. Cruz, João P. Faria, 4rd International Conference on Software and Data
Technologies (ICSFOT 2009), August 2009, Sófia, Bulgária
• REVERSE ENGINEERING OF GUI MODELS
André M. P. Grilo, Ana C. R. Paiva, João Pascoal Faria, Inforum 2009, September 2009,
Lisboa
• ADAPTIVE OBJECT-MODELLING: PATTERNS, TOOLS AND APPLICATIONS
Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria, “SEDES: Simpósio Doutoral
de Estudantes de Engenharia de Software” in “ICSEA: Fourth International
Conference on Software Engineering Advances”, pp. 530-535, June 2009, Porto,
Portugal (best paper award)
• AUDITING E-VOTING PILOT PROCESSES AND SYSTEMS AT THE ELECTIONS FOR THE EUROPEAN
PARLIAMENT AND FOR THE PORTUGUESE PARLIAMENT
João Falcão, João Pascoal Faria, Mário Jorge Leitão, António Pimenta, Maria Antónia
Carravilla, E-Voting: The Last Electroal revolution, Institut de Ciencies Politiques i
Socials, PP.93-114, 2008
5
• AUTOMATIC GENERATION OF INTERACTIVE PROTOTYPES FOR DOMAIN MODEL VALIDATION
António M. R. Cruz, João P. Faria, 3rd International Conference on Software and Data
Technologies (ICSFOT 2008), July 2008, Porto, Portugal
• AUTOMATIC GENERATION OF USER INTERFACES FROM DOMAIN AND USE CASE MODELS
António M. R. Cruz, João P. Faria, Proceedings of the Sixth International Conference
on the Quality of Information and Communications Technology (QUATIC 2007),
September, 2007, Lisbon, Portugal, IEEE Computer Society, pp 208-212
• REVERSE ENGINEERED FORMAL MODELS FOR GUI TESTING
Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes
12th International Workshop on Formal Methods for Industrial Critical Systems
(FMICS 2007). July 1-2, 2007, Berlin, Germany
• TOWARDS THE INTEGRATION OF VISUAL AND FORMAL MODELS FOR GUI TESTING
Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal, MBT'06 - Third Workshop on
Model Based Testing, 31 March - 1 April 2007, Braga, Portugal (satellite workshop of
ETAPS 2007)
• A METHODOLOGY FOR AUDITING E-VOTING PROCESSES AND SYSTEMS USED AT THE ELECTIONS FOR THE
PORTUGUESE PARLIAMENT
J. Falcão e Cunha, M. Jorge Leitão, J. Pascoal Faria, A. Pimenta Monteiro, M. Antónia
Carravilla, Electronic Voting 2006 - The 2nd International Workshop on Electronic
Voting, 2-4 August 2006, Vienna, Austria
• WIKI BASED REQUIREMENTS DOCUMENTATION OF GENERIC SOFTWARE PRODUCTS
Clara Silveira, João Pascoal Faria, Ademar Aguiar, Raul Vidal, AWRE'05 - The Tenth
Australian Workshop on Requirements Engineering, 22 November 2005, Melbourne,
Australia (best paper award)
• A MODEL-TO-IMPLEMENTATION MAPPING TOOL FOR AUTOMATED MODEL-BASED GUI TESTING
Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
ICFEM 2005 - Seventh International Conference on Formal Engineering Methods, 1-4
November 2005, Manchester, UK
• MODELING AND TESTING HIERARCHICAL GUIS
Ana C. R. Paiva, João C. P. Faria, Raul F. A. Moreira, Nikolai Tillmann
ASM 2005 - 12th International Workshop on Abstract State Machines, March 8-11,
2005, Paris, France
10. Conferences (recent)
•
Member of Program Committee of TSP Symposium 2011, September 19-22, 2011,
Atlanta, Georgia
6
•
Organizing Chair of QUATIC 2010 - 7th International Conference on the Quality of
Information and Communications Technology, Sep/Oct 2010, FEUP, Porto
•
Member of Organizing Committee & Member of Program Committee, SEPG Europe
2010, Jun/Jul 2010, FEUP, Porto
•
Member of Steering Committee & Member of Program Committee, SEDES Simpósio para Estudantes de Doutoramento em Engenharia de Software, 2007, 2009
•
Workshops co-chair & Member of Program Committee, QUATIC 2007 - 6th
International Conference on the Quality of Information and Communications
Technology, Sep 2007, FCT/UL, Caparica
•
Member of Program Committee, ICEIS - International Conference on Enterprise
Information Systems, 2007, 2008, 2009, 2010, 2011
•
Member of Program Committee, CAiSE - International Conference on Advanced
Information Systems Engineering – 2005
•
Member of Program Committee, INFORUM - Simpósio de Informática 2009,
INFORUM 2010, INFORUM 2011 (track chair)
Porto, 5 May 2011
7
Curriculum Vitae
May 2nd 2011
Name:
Birth day & place:
Nacionality:
University address:
Phone:
Fax:
Email:
Homepage (www):
José Maria Amaral Fernandes
November 16th 1974, St. Louis, Missouri, E. U. A.
Portuguese (PRT) / American (US)
IEETA/ DETI – Universidade de Aveiro
Campus Universitário de Santiago
3810 - 193 Aveiro
Portugal
(+351) 234 370 500
(+351) 234 370 545
[email protected]
http://www.ieeta.pt/~jfernan
Academic degrees:

PhD in Electrotecnical Engineering, University of Aveiro, Portugal, 2007

MSc in Computer Science, Faculty of Science, University of Oporto, 1998.

Graduated in Computer Science, Faculty of Science, University of Oporto, 1996.
Current Positions, institutions

August 2010 – present: Visiting Faculty, Institute of Software Research / Master of Software Engineering,
Carnegie Mellon University

2009 - present: member of the scientific committee of Rede Nacional de Imagiologia Funcional Cerebral
(RNIFC)

August 2009 – present: faculty of Carnegie Mellon | Portugal program (MSIN CMU/Aveiro)

October 2008 – present: Assistant Professor, Dept. of Electronics, Telecommunications and Informatics
(DETI), University of Aveiro
1 Academic and teaching experience
Courses taught in the last 2 years (2008-2010):
Courses developed:

“17623 – Software Engineering in Mobile Computing”, Fall 2010, Carnegie Mellon University (CMU),
EUA (graduate level): Course offered during Faculty Exchange at CMU. An structure comparison on code,
design and architecture patterns on Mobile Computing (Android) and enterprise level framework (J2EE).
Include a full project integrating both solutions.

“Projecto em Engenharia Informática” – 2010/2011 ( undergraduate ): Undergraduate course on building
software within Test Driven Development framework inspired in OpenUP. Supportted on web architecture
with a major emphasis on team iterative development.

“Testes e Qualidade de Software / Software Quality and Testing” - 2009/2010 - (undergraduate): Software
engineering course focused on Test Driven Development on SOA projects (J2EE) supported on agile
methodology and team work.

“Computação Móvel / Mobile Computing”– 2009/2010 - (undergraduate): Basic concepts on mobile
computing application development on Android and Windows Mobile environments.

“Introdução à Computação Móvel / Introduction to Mobile Computing” - 2009/2010 - (undergraduate):
Basic concepts on mobile computing application development on Android.

“Engenharia de Software /Software Engineering” – 2008/2011 (undergraduate): Software engineering
course focused on agile methodology using TDD, team work and SOA (J2EE). Concepts on software
engineering and architecture.

“Análise e Modelação de Sistemas de informação / Analysis and modelling of information system” – 2008
(undergraduate): Use case and domain modelling using UML. Concepts on software engineering and
architecture
1 of 5

”Information Systems Modelling”, Professional Master in Information Networking (MSIN), dual degree of
Carnegie Mellon and University of Aveiro , Fall 2009.
Supervisions

Filipe Andrade Soares de Carvalho, "Sistema Judiciário Cabo-verdiano: indicadores do decorrer do
Processo Penal", Master degree in Electronic and Telecomunications – Information System, 2011

Márcio Colunas, "Droid Jacket: Sistema de Monitorização Móvel de uma Equipa / Droid Jacket: a Mobile
Monitoring System for a Team", Integrated Master degree in Computer Engineering and Telematics,
University of Aveiro, (co-supervision), 2010

Fernanda Sofia Quintela da Silva Brandão, "Segmentation of deep grey matter structures by using magnetic
resonance high.resolution T1-weighted images acquired at 3 Tesla; a technical approach", Medical
Informatics Master, University of Porto ( co-supervision), 2010

Miguel Moreira,"Suporte ao diagnóstico em Acidentes Cardio Vasculares / Diagnosis support in stroke",
Integrated Master degree in Computer Engineering and Telematics, University of Aveiro,(co-supervision),
2010

José Gil Monteiro de Carvalho, “Sistema de Gestão de Informação Portuária (SGIP)”, Master degree in
Electronic and Telecomunications – Information System, (co-supervision), 2010

Jair José Lopes Delgado, “Sistema de Informação de Apoio à Detecção de Perdas de Energia Eléctrica – O
Caso da Electra”, Master degree in Electronic and Telecomunications – Information System, (cosupervision), 2010

Elisabeth Alves Andrade, “Sistema de Informação de Controlo de Assiduidade: Proposta para o caso da
UniCV”, Master degree in Electronic and Telecomunications – Information System, 2010

Micael Pedrosa, “A web portal for Portuguese Brain Imaging Network“, Integrated Master degree in
Computer Engineering and Telematics, University of Aveiro, 2009

David Pacheco,” Ciência 2.0: Partilha de dados científicos na Grid / Science 2.0: Sharing Scientific Data
on the Grid“,Integrated Master degree in Computer Engineering and Telematics, University of Aveiro (cosupervision with Ilídio Oliveira), 2009

Eduardo Dias,” Quantificação tridimensional de movimento em epilepsia”, Integrated Master degree in
Electronic and Telecomunications, University of Aveiro (co- supervision with João Paulo Cunha), 2009

Jacek L. Kustra, "Multimodal EEG-fMRI system for the study of epileptogenic focus", Master in
BioMedical engineering, University of Aveiro (co-supervision), 2008

Pedro Bruno Pereira Amaral, “Aplicação para visualização multimodal e manipulação de dados de
Electrocorticografia /Multimodal methods of visualization and manipulation of Electrocorticography data”,
Integrated Master degree in Computer Engineering and Telematics, University of Aveiro (co- supervision),
2008
2 Research insterests

Computer science
o Seamless integration of information system with mobile computing. The focus is two fold: (1) on
software engineering and architecture integration patterns and (2) on information system
integration of spatially distributed sources namely distributed data gathering and processing to
support human resources decision and coordination. This line of work is partially integrated in
VitalResponder project (http://www.vitalresponder.pt )
o Software architecture and complex workflows orchestrations: I started collaborating with the
group lead by D. Garlan at the ISR/ Carnegie Mellon University focused on the validation and
automation of complex analysis workflows in brain imaging using architecture styles and type
checking as high level tools for verification and orchestration.
o Support to eScience: As part of ANFIC (Portuguese Brain Imaging Network www.brainimaging.pt) I have been involved in the conception and evolution of the computational
services available to the network.

Neuroscience
o Exploring the use of independent regressor in the analysis of brain motor function in contrast with
typical evoked potential approaches. The focus is in using motion quantification based in video to
characterize the performance of the actual motion instead of relying in the protocol compliance in
the motion related information.
o Support to Epilepsy and stroke diagnosis: although with less emphasis I still mantain a
collaboration with the Epilepsy surgery program in HUC (Coimbra) namely in the registration of
2 of 5
Research positions

Research proposals (name, reference, funding entity)
o
PI in proposal PTDC/EEA-ELC/121280/2010 - “NeuroMove: Movement Quantification in
Neurological Diseases: A Multimodal Multi-dimensional Approach” - submitted to FCT, under
revision

Member of the following undergoing projects (name, reference, funding entity)
o
VitalResponder - "Vital Responder - Monitoring Stress among First Responder Professionals" - CMUPT/CPS/0046/2008 ( Carnegie Mellon - Portugal program)
o
MISC - "MISC—Massive Information Scavenging with Intelligent Transportation Systems" - MITPt/TS-ITS/0059/2008 (MIT Portugal program)
o
“Rede Nacional de Imagiologia Funcional Cerebral “,REDE/1519/RNIFC/2006 , PROGRAMA
NACIONAL DE RE-EQUIPAMENTO CIENTÍFICO, FCT

Member of research team of the following projects (past projects):
o “BING –Brain Imaging Network Grid”, GRID/GRI/81833/2006 - Portuguese national GRID
iniciative, FCT.
o “GERES-med: Grid-Enabled REpositorieS for medical applications” GRID/GRI/81819/2006,
Portuguese national GRID iniciative, FCT.
o “MovEpil3D - 3D movement quantification in epilepsy “, PTDC/SAU-BEB/72305/2006 – FCT
o “Neural correlates of object recognition: structure-function correlations within the visual ventral
stream, striatal and limbic circuits in health and disease”, PTDC/PSI/67381/2006 - FCT.
o “E-Science grid facility for Europe and Latin America - EELA -2”, 7th Framework Programme,
Capacities of the European Commission
o
"EpilBI - Epileptogenic focus localization in a 3D multimodal Brain Imaging system", POSC/EEACPS/60977/2004 – Fundação para a Ciência e Tecnologia (FCT).
o “Topo3D – Statistical Topographic Analysis of 3D Spatial and Temporal Distribution of Epileptic
Spikes and its Sources in Realistic Brain Models", project POSI/CPS/39758/2001 - FCT. (2002-2005)
o “Fusion – Functional and Morphologic Data Fusion for Epileptogenic Foci Localization on Surgery
Candidate Patients” – PRAXIS /P/EEI/12150/1998 - FCT. (1998-2001)
o “MovEpil – Movement Quantification in Epilepsy: a new Contribution for Epileptic Seizures
Classification” – Praxis POSI/CPS/33802/99 – FCT (2000 –2002).
o SADHIO (modelação e previsão de dosagens de Warfarin a doentes hipocoagolados) - Bolsa BIC do
programa Praxis XXI PRAXIS XXI/BIC/12256/96 (1997-1999).

Selected collaborations in the projects/proposals:
o Project proposal Healing– “Health Application Layer for Infrastructures using Grids”, – IST 2002
(FP6-2002-IST-1 – proposal 27374), European Comission.
o Project Team-HOS - Methodology and Tools for World-best Teamwork in Hospitals - IST-DGXIII
(Jan 2000 – Dez 2002).
o Project HANSA - “Healthcare Advanced Networked Systems Architecture” - Projecto Europeu –
Telematics DGXIII (Jan 1996 – Dez 1998) - http://www.gesi.it/hansa .
3 Publications
Thesis
Fernandes, J. M. (2007), “EpiGauss: spatio-temporal characterization of brain activity in Epilepsy/EpiGauss:
caracterização espacio-temporal da actividade cerebral em Epilepsia”, PhD thesis in PhD in Electrotecnical
Engineering, University of Aveiro, Portugal
Fernandes, J. M. (1998), “MAGOO - Metodologia baseada em Agentes e Orientada por Objectos para resolução de
Problemas Distribuídos: uma aplicação à gestão de trânsito/ MAGOO – Agent based methodology and Objected
Oriented principles for problem solving: an application to traffic managment”, MSc thesis in Computer Science,
Faculty of Sciences, University of Oporto, Portugal
3 of 5
International journals
Fernandes, J. M., A. Martins da Silva, G. M. Huiskamp, D. N. Velis, I. Manshanden, J. C. de Munck, F. Lopes da Silva
and J. P. Cunha (2005). “What Does an Epileptiform Spike Look Like in MEG? Comparison Between
Coincident EEG and MEG Spikes”, J Clin Neurophysiol 22(1): 68-73.
Proceedings in international conferences with referee (2008 … )
Dwivedi V, P.V. Elizondo, J.M. Fernandes, D. Garlan, B. Schmerl (2011), "An Architectural Approach to End User
Orchestrations " submitted to ECSA 2011.
Fernandes J.M., S. Tafula, J.P.S. Cunha (2011), "3D-Video-fMRI: 3D motion tracking in a 3T MRI environment",
accepted in ICIAR2011, Burnaby BC, Canada.
Fernandes J.M., S. Tafula, J.P.S. Cunha (2011), "Different fMRI activations if a response box or a 3D movement
tracking system is used", accepted in HBM 2011, Quebec City, Canada.
Oliveira, I.C. , E. Dias, L. Alves, J. Barros, J. Silva, M. Monteiro, A. Sousa-Pereira, J. M. Fernandes, A. Campilho and
J.P.S. Cunha (2011),"Extending a desktop endoscopic capsule video analysis tool used by doctors with advanced
computing resources" accepted in IberGrid2011, Santander, Spain.
Cunha J.P.S., J.M. Fernandes, V. Bento, L. Paula, E. Dias, C. Bilgin, S. Noachtar (2010), “2D versus 3D approaches to
movement quantification in epileptic seizures: Simulations and real seizures comparative evaluation.”, 9th
European Congress on Epileptology, Rhodes, Greece.
Cunha J.P.S., J. M. Fernandes, A. Peters, C. Bilgin, J. Rémi, Z. Mirzadjanona, J.A. Gonzalez-Victores , S. Noachtar
(2010) “Quantitative Analysis of Upper Limb Automatisms in Temporal and Frontal Lobe Epilepsy”, 9th
European Congress on Epileptology, Rhodes, Greece.
Cunha, J.P.S., S. Tafula, J. M. Fernandes (2010) “3D video-fMRI: Tri-dimensional video-based movement
quantification in a 3T fMRI environment”, Human Brain Mapping 2010, Barcelona, Spain.
Oliveira, I.C, L. Alves, E. Dias, D. Pacheco, S. Lima, J. Barros, M.P. Monteiro, J.A. Silva, J.M. Fernandes, J.P.S.
Cunha, A. Sousa Pereira (2010), “Automated endoscopic capsule analysis using a Grid computing environment”,
IBERGRID'2010, Braga, Portugal.
Moreira M., P. Dias, M. Cordeiro, G. Santos and J. M. Fernandes, "A Framework for Cerebral CT Perfusion Imaging
Methods Comparison", A Campilho, Kamel M (Eds) ICIAR 2010, part II, LNCS 6112 Springer Berlin /
Heidelberg, pp141-150.
Oliveira, I.C, L. Alves, E. Dias, D. Pacheco, S. Lima, J. Barros, M.P. Monteiro, J.A. Silva, J.M. Fernandes, J.P.S.
Cunha, A. Sousa Pereira (2010), “Automated endoscopic capsule analysis using a Grid computing environment”,
accepted in IBERGRID'2010, Braga, Portugal.
Oliveira I., J.P.S. Cunha, D. Pacheco, J.M. Fernandes, M. Pedrosa, L. Alves and A. Sousa Pereira (2010) "The
Portuguese BING Network: Towards a Brain Imaging Grid Virtual Community", MICCAI-Grid, London, UK,
2009.
Fernandes J.M., S. Tafula, S. Brandão, A. Bastos Leite, I. Ramos and J.P.S. Cunha (2009) “Video-EEG-fMRI:
Contribution of in-bore Video for the Analysis of Motor Activation Paradigms.”, World Congress on Medical
Physics and Biomedical Engineering, September 7 - 12, 2009. Munich, Germany: Springer Berlin Heidelberg,
pp. 786-789.
Cunha J.P.S., Vollmar C., J.M. Fernandes and S. Noachtar (2009) “Automated Epileptic Seizure Type Classification
through Quantitative Movement Analysis.”, World Congress on Medical Physics and Biomedical Engineering,
September 7 - 12, 2009. Munich, Germany: Springer Berlin Heidelberg, pp. 1435-1438.
Al-Rawi M.S., J.M. Fernandes, S. Tafula, J.P.S. Cunha (2009) Association Analysis of Biosignals using Self
Organizing Maps. World Congress on Medical Physics and Biomedical Engineering, September 7 - 12, 2009.
Munich, Germany: Springer Berlin Heidelberg, pp. 2170-2173.
Cunha J. P. S. , J. M. Fernandes, I. Oliveira, M. Pedrosa, L. Alves, and A. Sousa Pereira (2009), "The Portuguese
BING network: Towards a brain imaging Grid virtual community," in 3rd Iberian Grid Infrastructure Conference
(IberGrid'09) V. Hernández Garcia, G. Barreira, I. Blanquer Espert, and J. Gomes, Eds. Valencia, Spain:
NetBiblo S.L., La Coruña, 2009, pp. 96-105.
Pacheco D., I. Oliveira, J. M. Fernandes, and J. P. S. Cunha (2009). "MAGI: A medical application Grid interfacing
portal for eScience," in 3rd Iberian Grid Infrastructure Conference (IberGrid'09) V. Hernández Garcia, G.
Barreira, I. Blanquer Espert, and J. Gomes, Eds. Valencia, Spain: NetBiblo S.L., La Coruña, 2009, pp. 31-42.
Pedrosa M., L. Alves, I. C. Oliveira, J. M. Fernandes, and J. P. S. Cunha (2009), "A System Architecture for the BINGBrain Image Network Grid," in HEALTHINF 2009 - International Conference on Health Informatics Porto,
Portugal: INSTICC, 2009, pp. 276 - 281.
4 of 5
Proceedings in international conferences with referee (poster) (2008 -… )
Fernandes J. M. , J. P. S. Cunha, S. Tafula, S. Brandão, A. Bastos Leite, and I. Ramos, "Video-EEG-fMRI: a proximal
in-bore Video-EEG system within a 3T MRI scanner," in Proceedings of the 28th International Epilepsy
Congress, Budapest, Hungary, 2009.
Cunha J. P. S. , J. M. Fernandes, V. Bento, L. Paula, F. Oliveira, C. Bilgin, and S. Noachtar, "3D Movement
Quantification in Epilepsy: New Contribution for Quantitative Semiology Analysis," in Proceedings of the 28th
International Epilepsy Congress, Budapest, Hungary, 2009.
Lori N.F. , J.M. Fernandes, A. Bastos-Leite, J.P. Cunha (2008). “Separating sensory and motor BOLD functional MRI
activations using q-ball white matter fiber tracking in humans”, 12th EFNS Congress, Madrid, Spain
Kustra J. , J. M. Fernandes, and J. P. S. Cunha (2008). "EEG-fMRI Balistocardiogram Removal: A New Non-linear
Time Warping Approach”, 14th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics
(NBC-2008), Riga, Latvia, 2008.
5 of 5
Curriculum Vitae
Ricardo J. Machado
2011, 02 May
- short version -
Full name: Ricardo Jorge Silvério de Magalhães Machado
Birth date: 1971, 15 February
Nationality: Portuguese
Institutional address:
Universidade do Minho - Escola de Engenharia
Campus de Azurém
4805-058 Guimarães, Portugal
Phone, Fax, E-mail: +351-253-510319, +351-253-510300, [email protected]
Webpage: www.dsi.uminho.pt/~rmac
Academic degrees, Institutions, Fields of study:
• PhD, UMinho, Informatics and Computer Engineering [1997-2001].
• MSc, UMinho, Informatics and Computer Engineering [1994-1996].
• DEng, UPorto, Electronics and Computer Engineering [1989-1994].
Current position, Institution:
• Associate Professor with Tenure, Dept. Information Systems [since 2010].
• Associate Director, Algoritmi Research Center (CAlg) [since 2010].
Previous positions, Institutions:
• Faculty member, UMinho [since 1996].
• R&D Engineer, Texas Instruments Portugal [1994-1996].
• Junior Researcher, ENSEA Paris - Ecole Nationale Superieur de l'Electronique et de ses Applications [1994].
• Junior Researcher, INESC Porto - Instituto de Engenharia de Sistemas e Computadores [1993-1994].
Main research area: Software Engineering & Management
Other scientific interests: Embedded Software, Industrial Information Systems
Selected publications (2007-11):
• André L. Ferreira, Ricardo J. Machado, Mark C. Paulk. An Approach to Software Process Design and Implementation
using Little-JIL. Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced
Applications - SEAA 2011, Oulu, Finland, September, 2011, IEEE Computer Society Press, Los Alamitos, California,
U.S.A, [to appear].
• Pedro Borges, Paula Monteiro, Ricardo J. Machado. Tailoring RUP to Small Software Development Teams.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications - SEAA 2011,
Oulu, Finland, September, 2011, IEEE Computer Society Press, Los Alamitos, California, U.S.A, [to appear].
• André L. Ferreira, Ricardo J. Machado, Mark C. Paulk. Supporting Audits and Assessments in Multi-Model
Environments. Proceedings of the 12th International Conference on Product Focused Software Development and
Process Improvement - PROFES 2011, Torre Canne, Italy, June, 2011, LNCS Series, Springer-Verlag, Berlin
Heidelberg, German, [to appear].
• Sofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. Systematic Use of Software Development
Patterns through a Multilevel and Multistage Classification. Janis Osis, Erika Asnina (Eds.), Model-Driven Domain
Analysis and Software Development: Architectures and Functions, chap. 14, pp. 304-333, IGI Global, Hershey, U.S.A.,
2011, [ISBN-978-1-61692-874-2].
• André L. Ferreira, Ricardo J. Machado, Mark C. Paulk. Quantitative Analysis of Best Practices Models in the Software
Domain. Jun Han, Tran Dan Thu (Eds.), Proceedings of the 17th Asia-Pacific Software Engineering Conference APSEC 2010, Session on Software Process, Sydney, Australia, December, 2010, pp. 433-442, IEEE Computer Society
Press, Los Alamitos, California, U.S.A., [ISBN-978-0-7695-4266-9].
• Sofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. Support for Variability in Use Case Modeling
with Refinement. Proceedings of the 7th International Workshop on Model Based Methodologies for Pervasive and
Embedded Software - MOMPES’10 (within the 25th IEEE/ACM International Conference on Automated Software
Ricardo J. Machado: Curriculum Vitae short version
- 2011/05/02 -
1/6
•
•
•
•
•
•
•
•
•
•
•
•
•
Engineering - ASE 2010), Session on Modeling and Meta-Modeling, Antwerp, Belgium, September, 2010, pp. 1-8,
ACM Press, New York, U.S.A., [ISBN-978-1-4503-0123-7].
André L. Ferreira, Ricardo J. Machado, Lino Costa, José G. Silva, Rui F. Batista, Mark C. Paulk. An Approach to
Improving Software Inspections Performance. Proceedings of the 26th IEEE International Conference on Software
Maintenance - ICSM 2010, Session on Industry: Software Process, Timisoara, Romania, September, 2010, IEEE
Press, Piscataway, New Jersey, U.S.A., [ISBN-978-1-4244-8628-1].
Ricardo J. Machado, João M. Fernandes, João P. Barros, Luís Gomes. Scenario-based Modeling in Industrial
Information Systems. Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon
Timmis, Marilyn Wolf (Eds.), Distributed, Parallel and Biologically Inspired Systems, pp. 19-30, IFIP AICT Series vol.
329, Springer-Verlag, New York, U.S.A., September, 2010, [ISBN-978-3-642-15233-7].
Sofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. The UML «extend» Relationship as Support
for Software Variability. Jan Bosch, Jaejoon Lee (Eds.), Proceedings of the 14th International Software Product Line
Conference - SPLC 2010, Jeju Island, South Korea, September, 2010, pp. 471-475, LNCS Series vol. 6287, SpringerVerlag, Berlin Heidelberg, Germany, [ISBN-978-3-642-15578-9].
André L. Ferreira, Ricardo J. Machado, Mark C. Paulk. Size and Complexity Attributes for Multi-model Software
Process Improvement Framework Taxonomy. M.R.V. Chaudron (Ed.), Proceedings of the 36th EUROMICRO
Conference on Software Engineering and Advanced Applications - SEAA 2010, Track on Software Process and
Product Improvement (SPPI), Lille, France, September, 2010, pp. 306-309, IEEE Computer Society Press, Los
Alamitos, California, U.S.A., [ISBN-978-0-7695-4170-9].
Sofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. The UML «include» Relationship and the
Functional Refinement of Use Cases. M.R.V. Chaudron (Ed.), Proceedings of the 36th EUROMICRO Conference on
Software Engineering and Advanced Applications - SEAA 2010, Track on Model based Development, Components and
Services (MOCS), Lille, France, September, 2010, pp. 156-163, IEEE Computer Society Press, Los Alamitos,
California, U.S.A., [ISBN-978-0-7695-4170-9].
Maribel Yasmina Santos, Ricardo J. Machado. On the Derivation of Class Diagrams from Use Cases and Logical
Software Architectures. Proceedings of the 5th International Conference on Software Engineering Advances - ICSEA
2010, Session of Advances in Fundamentals for Software Development, Nice, France, August, 2010, pp. 107-113,
IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-978-0-7695-4144-0].
Paula Monteiro, Ricardo J. Machado, Rick Kazman, Cristina Henriques. Dependency Analysis between CMMI Process
Areas. M. Ali Babar, Matias Vierimaa, and Markku Oivo (Eds.), Proceedings of the 11th International Conference on
Product Focused Software Development and Process Improvement - PROFES 2010, Session of Process Quality,
Limerick, Ireland, June, 2010, pp. 263-275, LNCS Series vol. 6156, Springer-Verlag, Berlin Heidelberg, Germany,
[ISBN-978-3-642-13791-4].
Sofia Azevedo, Ricardo J. Machado, Dirk Muthig, Hugo Ribeiro. Refinement of Software Product Line Architectures
through Recursive Modeling Techniques. Robert Meersman, Pilar Herrero, Tharam Dillon (Eds.), On the Move to
Meaningful Internet Systems: OTM 2009 Workshops, pp. 411-422, LNCS Series vol. 5872, Springer-Verlag, Berlin
Heidelberg, Germany, November, 2009, [ISBN-978-3-642-05289-7].
Ricardo J. Machado, Pedro Guerreiro, Elizabeth Jonhston, Marko Delimar, Miguel A. Brito. IEEEXtreme: From a
Student Competition to the Promotion of Real world Programming Education. Proceedings of the 39th ASEE/IEEE
Annual Frontiers in Education Conference - FIE 2009, Session of Developing Real-world Software Engineering Skills,
San Antonio, Texas, U.S.A., October, 2009, pp. 1179-1180, IEEE Press, Piscataway, New Jersey, U.S.A.,
[ISBN-978-1-4244-4715-2].
André Ferreira, Ricardo J. Machado. Software Process Improvement in Multimodel Environments. Proceedings of the
4th International Conference on Software Engineering Advances - ICSEA 2009, Session of SEDES’2009 Workshop,
Porto, Portugal, September, 2009, pp. 512-517, IEEE Computer Society Press, Los Alamitos, California, U.S.A.,
[ISBN-978-0-7695-3777-15].
Sofia Azevedo, Ricardo J. Machado, Dirk Muthig. Multistage Model Transformations in Software Product Lines.
Proceedings of the 4th International Conference on Software Engineering Advances - ICSEA 2009, Session of
SEDES’2009 Workshop, Porto, Portugal, September, 2009, pp. 565-569, IEEE Computer Society Press, Los Alamitos,
Paula Monteiro, Ricardo J. Machado, Rick Kazman. Inception of Software Validation and Verification Practices within
CMMI Level 2. Proceedings of the 4th International Conference on Software Engineering Advances - ICSEA 2009,
Session of SEDES’2009 Workshop, Porto, Portugal, September, 2009, pp. 536-541, IEEE Computer Society Press,
Los Alamitos, California, U.S.A., [ISBN-978-0-7695-3777-15].
Nuno Ferreira, Ricardo J. Machado, Dragan Gasevic. An Ontological Approach to Model-Driven Software Product Line
Development. Proceedings of the 4th International Conference on Software Engineering Advances - ICSEA 2009,
Session of SEDES’2009 Workshop, Porto, Portugal, September, 2009, pp. 559-564, IEEE Computer Society Press,
Los Alamitos, California, U.S.A., [ISBN-978-0-7695-3777-15].
- 2011/05/02 -
2/6
•
•
•
•
•
•
•
•
•
•
•
Alexandre Bragança, Ricardo J. Machado. A Model Driven Approach for the Derivation of Architectural Requirements
of Software Product Lines. Innovations in Systems and Software Engineering: A NASA Journal (ISSE), vol. 5, no. 1,
pp. 65-78, March, 2009, Springer Verlag, London, U.K., [ISSN-1614-5046].
João M. Fernandes, Ricardo J. Machado, Stephen B. Seidman. A Requirements Engineering and Management
Training Course for Software Development Professionals. Proceedings of the 22nd IEEE-CS Conference on Software
Engineering Education and Training - CSEE&T 2009, Session of Curriculum & Teaching Materials, Hyderabad, India,
February, 2009, pp. 20-25, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-978-0-7695-3539-5].
Alexandre Bragança, Ricardo J. Machado. Transformation Patterns for Multi-staged Model Driven Software
Development. Proceedings of the 12th International Software Product Line Conference – SPLC 2008, Session of
Model-based Development, Limerick, Ireland, September, 2008, IEEE Computer Society Press, Los Alamitos,
José E. Fernandes, Ricardo J. Machado, João A. Carvalho. Model-Driven Development for Pervasive Information
Systems. Soraya Kouadri Mostéfaoui, Zakaria Maamar, George M. Giaglis (Eds.), Advances in Ubiquitous Computing:
Future Paradigms and Directions, chap. III, Idea Group Publishing, Hershey, U.S.A., February, 2008,
[ISBN-978-1-59904-840-6].
João M. Fernandes, Ricardo J. Machado. Teaching Embedded Systems Engineering in a Software-Oriented
Computing Degree. Proceedings of the 37th ASEE/IEEE Annual Frontiers in Education Conference – FIE 2007,
Session of Degree Programs and Curricula, Milwaukee, U.S.A., October, 2007, pp. 967-972, IEEE Press, Piscataway,
New Jersey, U.S.A., [ISBN-1-4244-1084-3].
Alexandre Bragança, Ricardo J. Machado. Model Driven Development of Software Product Lines. Proceedings of the
6th International Conference on the Quality of Information and Communications Technology - QUATIC’2007, Session
of SEDES 2007 Workshop, Lisbon, Portugal, September, 2007, pp. 199-203, IEEE Computer Society Press, Los
Alamitos, California, U.S.A., [ISBN-0-7695-2948-8].
José Eduardo Fernandes, Ricardo J. Machado, João Alvaro Carvalho. Model-Driven Software Development for
Pervasive Information Systems Implementation. Proceedings of the 6th International Conference on the Quality of
Information and Communications Technology - QUATIC’2007, Session of SEDES 2007 Workshop, Lisbon, Portugal,
September, 2007, pp. 218-222, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2948-8].
Francisco J. Duarte, Ricardo J. Machado, João M. Fernandes. Automated Information Systems Generation for
Process-Oriented Organizations. Proceedings of the 6th International Conference on the Quality of Information and
Communications Technology - QUATIC’2007, Session of SEDES 2007 Workshop, Lisbon, Portugal, September, 2007,
pp. 223-227, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2948-8].
Alexandre Bragança, Ricardo J. Machado. Automating Mappings between Use Case Diagrams and Feature Models for
Software Product Lines. Proceedings of the 11th International Software Product Line Conference – SPLC 2007,
Session of Feature Modeling, Kyoto, Japan, September, 2007, pp. 3-12, IEEE Computer Society Press, Los Alamitos,
California, U.S.A., [ISBN-0-7695-2888-0].
Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto. Requirements Validation:
Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer (STTT),
vol. 9, no. 3 4, pp. 353-370, June, 2007, Springer-Verlag, Berlin Heidelberg, Germany, [ISSN-1433-2779].
Alexandre Bragança, Ricardo J. Machado. Adopting Computational Independent Models for Derivation of Architectural
Requirements of Software Product Lines. Proceedings of the 4th International Workshop on Model-Based
Methodologies for Pervasive and Embedded Software - MOMPES’07 (within the 7th European Joint Conferences on
Theory and Practice of Software - ETAPS 2007), Braga, Portugal, March, 2007, pp. 91-101, IEEE Computer Society
Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2769-8].
PhD and MSc Supervision:
• PhD: José Luís Sousa. Theme: Modeling of Organizational Information System for Monitoring and Analysis using the
Complex Network Meta-Model.
• PhD: Luís Alves. Theme: A Tool Assessment Framework for Software Process Coverage Analysis.
• PhD: Sofia Azevedo. Theme: Multi-stage Model Transformations in Software Factories.
• PhD: André Ferreira. Theme: Software Process Improvement Strategies: Six Sigma for CMMI Level 4.
• PhD: Paula Monteiro. Theme: Inception of Software Validation and Verification Practices within CMMI Level 2: An
IEEE/ISO 29119 Roadmap.
• PhD: Nuno Ferreira. Theme: Multi staged Domain Specific Modeling for Software Product Lines: An Insurance
Ontology Analysis.
• PhD: Francisco Duarte. Theme: Automated Information Systems Generation for Process Oriented Organizations.
• PhD: José Eduardo Fernandes. Theme: Software Development for Pervasive Information Systems: Orientation to
Models [concluded: December 2010].
• PhD: Alexandre Bragança. Theme: Methodological Approaches and Techniques for Model Driven Development of
Software Product Lines [concluded: April 2008].
- 2011/05/02 -
3/6
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
MSc: Bruno Ferreira. Theme: PMO de projectos Scrum.
MSc: João Riqueza. Theme: MDA and derivate logical architecture from software requirements: Demonstration case.
MSc: João Fertuzinhos. Theme: Representação Dinâmica da Variabilidade de Componentes para Aplicações
Informáticas.
MSc: Paulo Lima. Theme: A Modelação de Processos de Negócio no Âmbito da Norma ISO 9000:2000 [concluded:
December 2009].
MSc: Sandra Brandão. Theme: Validaça!o de Software Dedicado a" Gestão!o Documental [concluded: December
2009].
MSc: Tiago Silva. Theme: Classificação dos Produtos de Software Baseada na Norma ISO/IEC 9126 Qualidade de
Software [concluded: December 2009].
MSc: Nuno Santos. Theme: Implementação de Processos de Negocio em Software Utilizando Transformações de
Modelos [concluded: December 2009].
MSc: Rosa Carvalho. Theme: A Utilização de Modelos Normativos e Processuais na Validação de Sistemas ERP
[concluded: December 2009].
MSc: Sofia Azevedo. Theme: UML Metamodelling and ERP Software Solutions: Experiments with Microsoft DSL Tools
[concluded: September 2008].
MSc: Pedro Borges. Configuração do RUP com Vista à Simplificação dos Elencos Processuais em PMEs de
Desenvolvimento de Software [concluded: June 2008].
MSc: José Luís Gomes. Theme: Processo de Implementação de ERPs: Um Método para o Ajuste de Requisitos e a
Optimização de Funcionalidades [concluded: July 2007].
MSc: Sérgio Oliveira. Theme: Colored Petri Nets in the Animation of UML Models for Requirements Validation
(concluded: October 2006).
MSc: Paula Monteiro. Model-based Transformations for Software Architectures: A Pervasive Application Case Study
[concluded: May 2006].
MSc: Nuno Silva. Theme: Rejuvenescimento de Aplicações: Uma Experiência com Software de Seguros [concluded:
February 2006].
MSc: Filipe Paiva. Geração Automática de Modelos de Simulação de uma Linha de Produção na Indústria Têxtil
[concluded: July 2005].
MSc: Luís Carlos Ferreira. Geração Automática de Modelos de Simulação de uma Linha de Produção na Indústria
Electrónica [concluded: June 2003].
Scientific Responsibilities:
• Scientific Coordinator of the Knowledge and Information Systems and Services research line (KISS), Algoritmi
Research Center (CAlg) [since 2010].
• Leader and Principal Investigator of the Sofware Engineering and Management research Group (SEMAG), KISS
research line, Algoritmi Research Center (CAlg) [since 2001].
• Coordinator of the University of Minho's scientific activities within the Carnegie Mellon | Portugal Program, by
nomination of the University of Minho's Rector [since 2006].
• Associate Coordinator of the University of Minho's participation in TICE.pt (Pólo de Competitividade em Tecnologias de
Informação, Comunicação e Electrónica), by nomination of the University of Minho's Rector [since 2008].
• Associate Coordinator of the University of Minho's participation in CEDT (Centro de Excelência em Desmaterialização
de Transações), by nomination of the University of Minho's Rector [2007-2009].
• Member of the Project Control Committee of the CCG/ZGVD Institute, by nomination of the University of Minho's
Rector [2005-2008].
• Scientific Coordinator of several funded research projects, hosted either at the Algoritmi Research Center or at the
CCG/ZGVD Institute.
• Founder and Chair of the Steering Committee of the international workshop series MOMPES (International Workshops
on Model-Driven Methodologies for Pervasive and Embedded Software); co-sponsored by IFIP WG10.2; proceedings
published by IEEE Computer Society Press; the last edition (the 7th) was held in cooperation with ASE'2010, in
Antwerp, Belgium.
• Regular scientific reviewer of several journals, such as: IEEE Transactions on Software Engineering, IEEE
Transactions on Knowledge and Data Engineering, Elsevier Journal on Information and Software Technology, Wiley
Journal on Software: Practice and Experience, IEEE Transactions on Industrial Informatics, LNCS Transactions on
Petri Nets and Other Models of Concurrency, Springer Journal of Computer Science and Technology, Elsevier Journal
on Computer Standards & Interfaces, Springer Journal of Innovations in Systems and Software Engineering, IGI
International Journal of E-Services and Mobile Applications, Nordic Journal of Computing, IEEE Software, IEEE
Computer, IEEE Micro, IEEE Transactions on CAD, IEEE Transactions on Industrial Electronics.
- 2011/05/02 -
4/6
Activities in other Technical & Scientific Institutions:
• Coordinator of IEEE Computer Society Chapters and Student Chapters in Region 8 (Europe, Middle East and Africa)
[2007-08].
• President of the Portuguese representation in the IFIP Technical Committee in Computer Systems Technology (TC10)
[2006-09].
• President of the General Assembly of TICE.pt (Pólo de Competitividade em Tecnologias de Informação, Comunicação
e Electrónica) [since 2009].
• President of CT128 (Comissão Técnica de Normalização Sectorial em Engenharia de Software e de Sistemas de
Informação) within Instituto de Informática (Ministério das Finanças) [since 2005].
• Vice-President of CS03 (Comissão Sectorial para as Tecnologias de Informação e Comunicações) within Instituto
Português da Qualidade (Ministério da Economia) [since 2008-2010].
• Steering Committee Member of Informatics Engineering Society (North Region) of the Portuguese Engineering
Association [since 2004].
• Scientific reviewer of projects submitted to the Agência de Inovação within the Fundação para a Ciência e a Tecnologia
[since 2004].
• Founding member of IFIP WG10.5 SIG-ES (Special Interest Group on Embedded Systems) and IFIP WG10.2 Working
Group on Embedded Systems.
• Founding member of IEEE-IES TCEDU (Technical Committee on Education in Engineering and Industrial
Technologies) [since 2006].
• Member of IEEE-CS CAB (Chapters Activities Board) [2007-08].
• Member of IEEE-CS EAB (Educational Activities Board) [since 2007].
Volume Edition:
• Fernando Brito e Abreu, João Pascoal de Faria, Ricardo J. Machado (Eds.). Proceedings of the 7th International
Conference on the Quality of Information and Communications Technology - QUATIC’2010, Porto, Portugal,
September, 2010, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-978-0-7695-4241-6].
• Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo J. Machado, Roy Oberhauser (Eds.). Proceedings of the
4th International Conference on Software Engineering Advances - ICSEA 2009, Porto, Portugal, September, 2009,
IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-978-0-7695-3777-1].
• João M. Fernandes, Ricardo J. Machado, Luís C. Lamb, Flávio R. Wagner (Eds.). Proceedings of the 6th International
Workshop on Model Based Methodologies for Pervasive and Embedded Software - MOMPES’09, Vancouver, British
Columbia, Canada, May, 2009, ICSE 2009 Companion Volume, IEEE Computer Society Press, Los Alamitos,
• Ricardo J. Machado, Flávio R. Wagner, Rick Kazman (Eds.). Innovations in Systems and Software Engineering: A
NASA Journal (ISSE), Special Issue, vol. 5, no. 1, March, 2009, Springer-Verlag, London, U.K., [ISSN-1614-5046].
• Sue Carroll, Ricardo J. Machado, Fernando Brito e Abreu (Eds.). ASQ Software Quality Professional Journal (SQPJ),
Special Issue, vol. 10, issue 4, September, 2008, American Society for Quality, [ISSN-1522-0540].
• Ricardo J. Machado, João M. Fernandes, Flávio Wagner, Rick Kazman (Eds.). Proceedings of the 5th International
Workshop on Model Based Methodologies for Pervasive and Embedded Software - MOMPES’08, Budapest, Hungary,
April, 2008, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-3104-0].
• Ricardo J. Machado, Fernando Brito e Abreu, Paulo Rupino da Cunha (Eds.). Proceedings of the 6th International
Conference on the Quality of Information and Communications Technology - QUATIC’2007, Lisbon, Portugal,
September, 2007, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2948-8].
• João M. Fernandes, Ricardo J. Machado, Ridha Khedri, Shiobán Clark (Eds.). Proceedings of the 4th International
Workshop on Model Based Methodologies for Pervasive and Embedded Software - MOMPES’07, Braga, Portugal,
March, 2007, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2769-8].
• Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos Eduardo Pereira, P. S. Thiagarajan (Eds.). From
Model Driven Design to Resource Management for Distributed Embedded Systems, IFIP Series vol. 225, Springer
Verlag, New York, U.S.A., October, 2006, [ISBN-0-387-39361-7].
• Ricardo J. Machado, João M. Fernandes, Matthias Riebich, Bernhard Schätz (Eds.). Proceedings of the Joint Meeting
of the 4th Workshop on Model-Based Engineering of Computer Based Systems and the 3nd International Workshop on
Model-Based Methodologies for Pervasive and Embedded Software - MBD/MOMPES’06, Potsdam, Germany, March,
2006, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2538-5].
• Johan Lilius, Ricardo J. Machado, Dragos Truscan, João M. Fernandes, Ivan Porres (Eds.). Nordic Journal of
Computing (NJC), Special Section on Model Based Methodologies for Pervasive and Embedded Software, vol. 12, no.
3, Fall, 2005, Helsinki, Finland, [ISSN-1236-6064].
• Johan Lilius, Ricardo J. Machado, Dragos Truscan, João M. Fernandes (Eds.). Proceedings of the 2nd International
Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES’05, Rennes, France,
June, 2004, TUCS General Publication no. 39, Turku, Finland, [ISBN-952-12-1556-9], [ISSN-1239-1905].
- 2011/05/02 -
5/6
•
•
João M. Fernandes, Johan Lilius, Ricardo J. Machado, Ivan Porres (Eds.). Proceedings of the 1st International
Workshop on Model Based Methodologies for Pervasive and Embedded Software - MOMPES’04, Hamilton, Ontario,
Canada, June, 2004, TUCS General Publication no. 29, Turku, Finland, [ISBN-952-12-1359-0], [ISSN-1239-1905].
Johan Lilius, Felice Balarin, Ricardo J. Machado (Eds.). Proceedings of the 3rd IEEE/IFIP/ACM/FME International
Conference on Application of Concurrency to System Design - ACSD'03, Guimarães, Portugal, June, 2003, IEEE
Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-1887-1].
Patents:
• Carlos Correia, Ricardo J. Machado, Marco Couto, Patrícia Pinto, Paula Monteiro, Sérgio Oliveira, Armando Almeida,
Teresa McIntyre, Maribel Santos, Isabel Ramos, Carlos Oliveira. Sistema Ubíquo de Controlo Analgésico para
Acompanhamento em Tempo-Real da Dor Aguda e Crónica. INPI, Portugal, submission ref. No. PIN104756
(11/Nov/2009).
• Carlos Correia, Ricardo J. Machado, Marco Couto, Patrícia Pinto, Paula Monteiro, Sérgio Oliveira, Armando Almeida,
Teresa McIntyre, Maribel Santos, Isabel Ramos, Carlos Oliveira. Ubiquitous Analgesia Control System for the Real
time Monitoring of Acute and Chronic Pain. U.S. Patent and Trademark Office, U.S.A., submission ref. No. US38789
(18/Sep/2008).
• Ricardo J. Machado, André G. Cardoso. Die Bond Touch Down Detector (continuation of patent US05608172). Texas
Instruments Incorporated, Dallas, Texas, U.S.A. U.S. Patent and Trademark Office, U.S.A. Filed: US01996000713375
in 13/Sep/1996. Issued: US05696329 in 09/Dec/1997.
• Ricardo J. Machado, André G. Cardoso. Die Bond Touch Down Detector (continuation of patent US05608172). Texas
Instruments Incorporated, Dallas, Texas, U.S.A. U.S. Patent and Trademark Office, U.S.A. Filed: US01996000713375
in 13/Sep/1996. Issued: US05696329 in 09/Dec/1997.
Awards:
• 2009 IEEE MGA Achievement Award, “for outstanding accomplishment and contributions towards the implementation
of the 2009 IEEEXtreme Programming Contest”.
• Award SEDES’2007 (2o Simpósio Doutoral em Engenharia de Software) for the best PhD thesis proposal (awarded to
my PhD student#Francisco Duarte).
• Award APDIO’2003 (Associação Portuguesa de Investigação Operacional) for the best MSc dissertation of 2003
(awarded to my MSc student#Luís Pinto Ferreira).
• Award ENCEE’97 (3o Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros) for the
paper in the area of “Computador and Software Systems”
• Award ETC’95 (Texas Instruments European Technical Conference), “for the excellent contribution as technical author”
• Award TIEP’94, for the best students of UP, UA e UC in Electrical and Computer Engineering, within the Programa
UNIVERSIDADE da Texas Instruments - Equipamento Electrónico (Portugal), Lda.
- 2011/05/02 -
6/6

Research Topics in Software Engineering

Transcrição

Documentos relacionados

CULTURAL AGENDA

ac hotel porto

PLEASE RETURN THIS REGISTRATION FORM DIRECTLY TO THE

when buzz chokes bizz… and culture

semantic pacs - Emílio de Azevedo Campos, SA

English - d`Orfeu

New Therapies and Technologies February 16

INOV-Art Program general coordination: Jorge Barreto Xavier

Inês Guedes / Architect [email protected] +351 93 3479367

ARTICLE in Theme 3. CREATING URBAN ORDER