22698 search results - page 208 / 4540 » Modeling in Software Engineering |
149
click to vote
VAMOS
2007
Springer
16 years 18 days ago
2007
Springer
Although feature modelling is a frequently used approach to the task of modelling commonality and variability within product lines, there is currently no standard modelling notati...
156
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
162
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
169
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
161
click to vote
GTTSE
2007
Springer
16 years 19 days ago
2007
Springer
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...