5525 search results - page 134 / 1105 » Verification of Model Transformations |
144
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
143
Voted
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
117
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
153
click to vote
JOT
2010
15 years 1 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
117
click to vote
SPLC
2008
15 years 4 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...