977 search results - page 3 / 196 » Formal methods integration in software engineering |
TPHOL
1998
IEEE
13 years 10 months ago
1998
IEEE
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...
CSEE
2000
Springer
13 years 10 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
ESEC
1995
Springer
13 years 9 months ago
1995
Springer
CSMR
1997
IEEE
13 years 10 months ago
1997
IEEE
PASTE
2005
ACM
13 years 11 months ago
2005
ACM
