Validation of Reactive Software from Scenario-Based Models ∗ (2008)
Óscar R. Ribeiro, João M. Fernandes
This thesis proposal suggests a model-based approach to obtain, from a set of behavioural scenarios of a given reactive software system, a graphical animation for reproducing that set of scenarios...
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...
Functional and Object-Oriented Views in Embedded Software Modeling (2008)
João M. Fernandes, Dep Informática
The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played in order to model the various modeling perspectives of an embedded system. We discuss...
Functional and Object-Oriented Modeling of Embedded Software (2003)
João M. Fernandes, Turku Centre For, João M. Fernandes, Turku Centre, Computer Science
The main aim of this report is to discuss how the functional and the object-oriented views can be inter-played in order to model the various modeling perspectives of an embedded system. We discuss if...
Dragos Truscan, João M. Fernandes, Johan Lilius
We present an approach to combine both the data-flow and object-oriented computing paradigms to model embedded systems. The rationale behind the approach is that both views are important for...
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...
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)
João M. Fernandes, Dep Informática
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,...
Modeling Industrial Embedded Systems with UML (2000)
João M. Fernandes, Dep Informática
The main purpose of this paper is to present how the Unied Modeling Language (UML) can be used for modeling industrial embedded systems. By using a car radios production line as a running example,...
Modeling Industrial Embedded Systems with UML (2000)
João M. Fernandes, Dep Informática
The main purpose of this paper is to present howthe Unied Modeling Language (UML) can be used for modeling industrial embedded systems. By using a car radios production line as a running example, the...
João M. Fernandes, Orlando Belo, Jo~ao M. Fern, Es Orl, O Belo, Colored Petri Nets
This paper presents and discusses an industrial production system model based on Colored Petri Nets. The model was developed in order to analyse the agent's behavior of a distributed multi-agent...
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...
Concurrent Execution of Petri Nets based on Agents (1995)
João M. Fernandes, António M. Pina, Alberto J. Proença, Jo~ao M. Fern
Petri Nets (PNs) provide a powerful tool to model and simulate the behaviour of complex systems. Electronic CAD tools for parallel digital systems --- supporting hierarchical structures of control...