Sciweavers

183 search results - page 11 / 37
» Supporting model evolution through demonstration-based model...
Sort
View
OTM
2010
Springer
14 years 11 months ago
Supporting Complex Changes in Evolving Interrelated Web Databanks
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...
Yannis Stavrakas, George Papastefanatos
IJSC
2008
95views more  IJSC 2008»
15 years 1 months ago
Beyond Information Silos - an Omnipresent Approach to Software Evolution
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
Juergen Rilling, René Witte, Philipp Sch&uu...
CONCUR
2006
Springer
15 years 3 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
119
Voted
DAGSTUHL
2009
15 years 3 months ago
Model-Centric, Context-Aware Software Adaptation
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
Oscar Nierstrasz, Marcus Denker, Lukas Renggli
SEKE
2009
Springer
15 years 8 months ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz