73 search results - page 4 / 15 » An integrated multi-view model evolution framework |
CADE
2009
Springer
14 years 8 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
HICSS
2002
IEEE
14 years 11 days ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
PROFES
2001
Springer
13 years 12 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
EWSPT
2001
Springer
13 years 12 months ago
2001
Springer
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...