Sciweavers

2055 search results - page 40 / 411
» Generic Model Refactorings
Sort
View
CMOT
2011
14 years 1 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
BCS
2008
14 years 11 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
INTELLCOMM
2004
Springer
15 years 3 months ago
Towards Service Continuity for Generic Mobile Services
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
Ivar Jørstad, Do Van Thanh, Schahram Dustda...
ICSE
2009
IEEE-ACM
15 years 10 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
AGILEDC
2007
IEEE
15 years 4 months ago
The Role of Incremental Change in Agile Software Processes
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
Neal Febbraro, Václav Rajlich