695 search results - page 18 / 139 » Dynamic Software Architectures Verification using DynAlloy |
QOSA
2010
Springer
13 years 5 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
CSMR
2009
IEEE
14 years 7 days ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
ENTCS
2002
13 years 7 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
PASTE
2004
ACM
14 years 29 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
SAC
2010
ACM
14 years 25 days ago
2010
ACM
This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...