695 search results - page 20 / 139 » Dynamic Software Architectures Verification using DynAlloy |
ISARCS
2010
13 years 9 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
IWSM
2009
Springer
14 years 2 months ago
2009
Springer
The following article covers the different types of software cockpit applications for use in various areas, such as software development, software maintenance as well as quality ma...
INFSOF
2011
13 years 2 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...