1376 search results - page 113 / 276 » Model-Driven Software Verification |
137
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
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...
182
click to vote
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
121
click to vote
ECEASST
2006
15 years 3 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
113
click to vote
JOT
2006
15 years 3 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
126
click to vote
JSS
2007
15 years 2 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...