Abstract
I’d like to pose the very naive question “What is specification?”, because I know that in the CIP* school the specification is a contract between the user and the developer, and so obviously all things required by the user must somehow be present there.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pepper, P. (1984). Software Specification. In: Pepper, P. (eds) Program Transformation and Programming Environments. NATO ASI Series, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46490-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-46490-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-46492-8
Online ISBN: 978-3-642-46490-4
eBook Packages: Springer Book Archive