977 search results - page 3 / 196 » Formal methods integration in software engineering |
107
Voted
TPHOL
1998
IEEE
15 years 3 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
15 years 4 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...
69
Voted
ESEC
1995
Springer
15 years 3 months ago
1995
Springer
CSMR
1997
IEEE
15 years 3 months ago
1997
IEEE
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
