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 8 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...
107
Voted
CAISE
2005
Springer
15 years 7 months ago
Model Transformations in the Development of Data-Intensive Web Applications
Davide Di Ruscio, Alfonso Pierantonio
129
Voted
CAISE
2008
Springer
15 years 4 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»
15 years 4 days 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