695 search results - page 1 / 139 » Dynamic Software Architectures Verification using DynAlloy |
ECEASST
2008
13 years 5 months ago
2008
ENTCS
2008
13 years 5 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...