Abstract
This chapter is about building package specifications and understanding them. Given an English description, how should we tackle the problem of specifying a package to fit the description? How do we begin? What are the steps in the process — can we build upon (or “reuse”) previous specifications? How can we figure out the consequences of a specification? When are we finished?
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Further Reading
J. D. Ichbiah, et al. The Programming Language Ada Reference Manual. Springer-Verlag Lecture Notes in Computer Science, No. 155, 1983.
G. Booch. Software Components with Ada. Benjamin Cummings, Inc., 1987.
J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch Family of Specification Languages. IEEE Software, September 1985.
N. Gehani and A.D. McGettrick. Software Specification Techniques, Addison-Wesley, 1986.
A. J. Goldberg and D. Robson. SmallTalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Luckham, D. (1990). The Process of Specifying Packages. In: Programming with Specifications. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9685-7_6
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9685-7_6
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9687-1
Online ISBN: 978-1-4613-9685-7
eBook Packages: Springer Book Archive