695 search results - page 27 / 139 » Dynamic Software Architectures Verification using DynAlloy |
CAISE
2003
Springer
14 years 24 days ago
2003
Springer
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
WICSA
2008
13 years 9 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
ROBIO
2006
IEEE
14 years 1 months ago
2006
IEEE
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
EWSA
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
CD
2004
Springer
14 years 29 days ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...