1888 search results - page 33 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
110
Voted
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
136
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
139
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
153
Voted
SBMF
2010
Springer
14 years 9 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
119
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...