1601 search results - page 2 / 321 » The affordable application of formal methods to software eng... |
TPHOL
1998
IEEE
13 years 9 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 9 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...
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
RE
2001
Springer
13 years 9 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
