695 search results - page 50 / 139 » Dynamic Software Architectures Verification using DynAlloy |
VRML
2000
ACM
14 years 11 min ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
ENTCS
2010
13 years 7 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
This paper proposes the RAFTING approach (Resourcebased Approach to FeaTure InteractioN) to address the feature interaction problem in the context of dynamically adapted software....
EEMMAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...