1255 search results - page 71 / 251 » Model-Driven Development of Model Transformations |
ICWE
2007
Springer
14 years 4 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
AGTIVE
2007
Springer
14 years 4 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...
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
13 years 10 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...