1601 search results - page 15 / 321 » The affordable application of formal methods to software eng... |
ACSD
1998
IEEE
13 years 12 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
FM
1994
Springer
13 years 11 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...