134 search results - page 5 / 27 » Formal Software Development in the Verification Support Envi... |
CAISE
1997
Springer
13 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
ASE
2008
13 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ATAL
2005
Springer
14 years 4 days ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
PPPJ
2003
ACM
13 years 12 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
RE
2008
Springer
13 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...