Abstract
As we have learned in Chapter 4, a process specification, given with pre and postconditions, is usually concise and precise in defining the functionality of the process. This kind of specification is usually suitable for defining requirements and high level design, because it allows the developer to concentrate on the relation between the inputs and outputs, with no need to think of how the relation can be implemented. However, when deriving a detailed design specification from a high level design, an algorithmic solution using sequence, choice, and iteration usually needs to be provided. Compared with program code, the detailed design specification may still be expressed in an abstract manner.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Liu, S. (2004). Explicit Specifications. In: Formal Engineering for Industrial Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07287-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-07287-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05827-1
Online ISBN: 978-3-662-07287-5
eBook Packages: Springer Book Archive