3256 search results - page 251 / 652 » Applications of Formal Methods to System Design and Verifica... |
192
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
210
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
236
click to vote
UML
2005
Springer
16 years 21 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
187
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
220
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...