73 search results - page 4 / 15 » An integrated multi-view model evolution framework |
178
click to vote
CADE
2009
Springer
16 years 6 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)...
170
Voted
HICSS
2002
IEEE
15 years 10 months 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...
156
Voted
PROFES
2001
Springer
15 years 10 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 ...
126
click to vote
ISBI
2006
IEEE
16 years 6 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...
163
Voted
EWSPT
2001
Springer
15 years 10 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...