From Use Cases to Objects: An Industrial Information Systems Case Study Analysis (2009)
João M. Fern, Ricardo J. Machado, Dep Informática
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tackle this problem....
Refinement of Software Architectures by Recursive Model Transformations∗ (2008)
Ricardo J. Machado, João M. Fern, Paula Monteiro, Helena Rodrigues
Abstract. The main aim of this paper is to present how to refine software logical architectures by application of a recursive model-based transformation approach called 4SRS (four step rule set). It...
Business Modeling in Process-Oriented Organizations for RUP-based Software Development (2008)
Francisco J. Duarte, João M. Fern, Ricardo J. Machado
Several organizations are nowadays not particularly comfortable with their internal structuring based on a hierarchical arrangement (sub-divided in departments), where collaborators with a limited...
OF PETRI NET BASED MODELS From Parallel Controllers to HW/SW Codesign (2008)
Ricardo J. Machado, João M. Fern, António J. Esteves, Henrique D
of Aveiro. Since 1995, he is working on his PhD thesis on Digital Systems. He has been a researcher in INESC-Aveiro. His research interests focus on hardware/software partitioning and high-level...
A Methodological Approach to Domain Engineering for Software Variability Enhancement (2008)
Re Bragança, Ricardo J. Machado
Abstract. Flexibility is one of the major quality aspects that are required for today’s applications. Variability realization techniques provide a mean to achieve this flexibility. Some variability...
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis (2008)
João M. Fern, Ricardo J. Machado, Dep Informática
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tackle this problem....
A Multi-level Design Pattern for Embedded Sofware * (2008)
Ricardo J. Machado, João M. Fern
Abstract: It is a common practice amongst programmers to construct parts of software programs by imitating parts of programs constructed by more experienced professionals. This “learn by example...
Can UML be a System-Level Language for Embedded Software? * (2008)
João M. Fern, Ricardo J. Machado
Abstract: The main purpose of this paper is to discuss if the Unified Modeling Language (UML) can be used as a system-level language (SLL) for specifying embedded systems, in co-design environments....
Business Modeling in Process-Oriented Organizations for RUP-based Software Development (2008)
Francisco J. Duarte, João M. Fern, Ricardo J. Machado
Several organizations are nowadays not particularly comfortable with their internal structuring based on a hierarchical arrangement (sub-divided in departments), where collaborators with a limited...
João M. Fern, Ricardo J. Machado, Paula Monteiro, Helena Rodrigues
Abstract: This paper presents a demonstration case on the successive application of a model-based technique to assist on the refinement of software logical architectures. The technique is essentially...
� Departamento de Sistemas de Informação (2007)
Ricardo J. Machado, João M. Fern, Henrique D. Santos, Escola Engenharia
Abstract: This paper defines a system-level hardware/software co-design approach to the development of real-time applications, which allows the implementation of industrial control-based information...
OBJECT-ORIENTED INHERITANCE OF STATECHARTS FOR CONTROL APPLICATIONS (2007)
M. Fern, J. Machado, Jo~ao M. Fernandes, Ricardo J. Machado
Abstract: This paper discusses how object-oriented inheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of...
Business modeling in process-oriented organizations for RUP-based software development (2006)
Duarte, Francisco J., Fernandes, João M., Machado, Ricardo J.
Several organizations are nowadays not particularly comfortable with their internal structuring based on a hierarchical arrangement (sub-divided in departments), where collaborators with a limited...
Fernandes, João M., Machado, Ricardo J.
This paper presents and discusses the syllabus of a second cycle degree on Software Engineering in which any student that finishes any undergraduate Computing degree (Computer Engineering, Computer...
A demonstration case on the transformation of software architectures for mobile applications (2006)
Fernandes, João M., Machado, Ricardo J., Monteiro, Paula, Rodrigues, Helena
This paper presents a demonstration case on the successive application of a model-based technique to assist on the refinement of software logical architectures. The technique is essentially based on...
Refinement of software architectures by recursive model transformations (2006)
Fernandes, João M., Machado, Ricardo J., Monteiro, Paula, Rodrigues, Helena
The main aim of this paper is to present how to refine software logical architectures by application of a recursive model-based transformation approach called 4SRS (four step rule set). It is...
Integration of embedded software with corporate information systems (2005)
Machado, Ricardo J., Fernandes, João M.
This paper describes a methodology and corresponding tools to support the development of information systems, by integrating and interconnecting a network of embedded devices, that supervise...
Transformation of UML models for service-oriented software architectures (2005)
Machado, Ricardo J., Fernandes, João M., Monteiro, Paula, Rodrigues, Helena
Comunicação apresentada ao IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), 12, Washington, 2005.
J.M.: Integration of embedded software with corporate information systems (2005)
Ricardo J. Machado, João M. Fern
Abstract: This paper describes a methodology and corresponding tools to support the development of information systems, by integrating and interconnecting a network of embedded devices, that...
Execution of UML Models with CPN Tools for Workflow Requirements Validation (2005)
Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto
Abstract. Requirements validation is a critical task in any engineering project. The confrontation of stakeholders with static requirements models is not enough, since stakeholders with non computer...
Os sistemas de informação geográfica no suporte a serviços móveis para o cidadão (2004)
Arouca, David, Figueiredo, Carlos, José, Rui, Machado, Ricardo J., Monteiro, Paula, Moreira, Adriano, ...
O seguinte artigo descreve os trabalhos de investigação efectuados no âmbito do projecto USE-ME.GOV (USability-drivEn open platform for Mobile GOVernment), um projecto do 6º Programa Quadro, que...
A multi-level design pattern for embedded software (2004)
Machado, Ricardo J., Fernandes, João M.
It is a common practice amongst programmers to construct parts of software programs by imitating parts of programs constructed by more experienced professionals. This “learn by example” approach...
R.J.: Run-time Variability Issues in Software Product Lines (2004)
Re Bragança, Ricardo J. Machado
Abstract. The Product line approach promises productivity and flexibility gains through reuse. In order to achieve higher levels of productivity and flexibility, companies may need to adopt run-time...
Heterogeneous information systems integration : organizations and methodologies (2002)
Machado, Ricardo J., Fernandes, João M.
In this paper, a methodology for integrating heterogeneous industrial information systems is presented. The methodology is strongly based on the extensive reuse of already-made components and is...
Can UML be a system-language for embedded software? (2002)
Fernandes, João M., Machado, Ricardo J.
The main purpose of this paper is to discuss if the Unified Modeling Language (UML) can be used as a system-level language (SLL) for specifying embedded systems, in co-design environments. The...
Heterogeneous Information Systems Integration: Organizations and Tools (2002)
Ricardo J. Machado, João M. Fern
Abstract. In this paper, a methodology for integrating heterogeneous industrial information systems is presented. The methodology is strongly based on the extensive reuse of already-made components...
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach (2001)
Ricardo J. Machado, João M. Fern, Henrique D. Santos
This paper focus mainly on the analysis phase, describing a UML-based approach for designing complex embedded systems, and specifically the usefulness of using shobi-PN v2.0 specifications, a Petri...
A Petri Net Meta-Model to Develop Software Components for Embedded Systems (2001)
Ricardo J. Machado, João M. Fernandes
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together...
System-Level Object-Orientation in the Specification and Validation of Embedded Systems (2001)
Joao M. Fernandes, Ricardo J. Machado
The main aim of this paper is to present how the Unified Modeling Language (UML) can be used as the notation to specify the requirements of an embedded system. By using a relatively small, but real,...
A Petri Net Meta-Model to Develop Software Components for Embedded Systems (2001)
Ricardo J. Machado, João M. Fernandes
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together...
Modeling industrial embedded systems with UML (2000)
Fernandes, João M., Machado, Ricardo J., Santos, Henrique Dinis Dos
The main purpose of this paper is to present how the Unified Modeling Language (UML) can be used for modeling industrial embedded systems. By using a car radios production line as a running example,...
Machado, Ricardo J., Fernandes, João M., Esteves, António, Santos, Henrique Dinis Dos
The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware design at our research laboratory. We describe the use of PN models to specify synchronous parallel...
Hierarchical mechanisms for high-level modelling and simulation of digital systems (1998)
Machado, Ricardo J., Fernandes, João M., Proença, Alberto José
The main purpose of this paper is to present an useful set of hierarchical mechanisms of specification to model and simulate digital systems. The shobi PN model (Synchronous, Hierarchical, Object...
An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study (1998)
Ricardo Jorge Machado, João Miguel Fernandes, Alberto José Proença, Jo~ao Miguel Fern, Address Dep Inform'atica, Escola De Engenharia, ...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model to quickly specify a data path/control system. In a case study, a transputer link adaptor has been...
Specification of industrial digital controllers with object-oriented Petri nets (1997)
Machado, Ricardo J., Fernandes, João M., Proença, Alberto José
The main purpose of this paper is to present an Object-Oriented PN model (shobi-PN) to specify industrial digital controllers. The shobi-PN model (Synchronous, Hierarchical, Object-Oriented and...
SOFHIA: A CAD Environment to Design Digital Control Systems (1997)
Ricardo J. Machado, João M. Fernandes, Jo~ao M. Fern, Alberto J. Proença
Petri Nets (PNs) prove to be an efficient methodology to model discrete-event systems with parallel activities. The main advantages lie on the graphical interface and on the availability of a set of...