10790 search results - page 38 / 2158 » Using feature models to automate model transformations |
134
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
131
Voted
IFM
1999
Springer
15 years 8 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
155
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
149
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
125
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...