1376 search results - page 14 / 276 » Model-Driven Software Verification |
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
CC
2007
Springer
15 years 3 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
TOPNOC
2008
14 years 11 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
126
click to vote
ICSEA
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...