8083 search results - page 96 / 1617 » A Formalization of Software Architecture |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
SIGSOFT
1998
ACM
14 years 2 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
ATAL
2008
Springer
14 years 2 days ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
