Sciweavers

977 search results - page 3 / 196
» Formal methods integration in software engineering
Sort
View
TPHOL
1998
IEEE
13 years 10 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
CSEE
2000
Springer
13 years 10 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
CSMR
1997
IEEE
13 years 10 months ago
Formal Methods
Michael Löwe