1376 search results - page 14 / 276 » Model-Driven Software Verification |
117
click to vote
ECOWS
2007
Springer
15 years 8 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 ...
105
Voted
CC
2007
Springer
15 years 5 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
15 years 1 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...
149
click to vote
ICSEA
2009
IEEE
14 years 11 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...
103
click to vote
EDOC
2007
IEEE
15 years 8 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...