1376 search results - page 16 / 276 » Model-Driven Software Verification |
127
click to vote
JUCS
2008
15 years 1 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
132
Voted
SERP
2008
15 years 3 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
160
Voted
ICSEA
2009
IEEE
14 years 11 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
102
click to vote
RE
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
97
Voted
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...