Abstract
Purchase PDF (898 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (255 K)
doi:10.1016/0164-1212(87)90014-8 
Copyright © 1987 Published by Elsevier Science Inc.
On the development of reliable large software*1
Available online 26 June 2003.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
At a high level of abstraction, program development can be divided into two phases: specialization and integration. In this paper, two algorithm development strategies suitable for carrying out the specialization phase are compared. Both such strategies are based on the following underlying idea: to increase software reliability the same level of attention must be devoted to the code and the specification synthesis.
