11063 search results - page 351 / 2213 » On the existence of universal models |
315
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
179
click to vote
TAICPART
2006
IEEE
16 years 25 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
164
click to vote
STEP
2005
IEEE
16 years 11 days ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
188
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
182
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...