Sciweavers

1002 search results - page 6 / 201
» Test-Driven Development of Model Transformations
Sort
View
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 3 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
CAISE
2008
Springer
14 years 11 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
DATESO
2009
269views Database» more  DATESO 2009»
14 years 7 months ago
The BPM to UML activity diagram transformation using XSLT
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
Ondrej Macek, Karel Richta