Abstract
In COLD-1, property-oriented, algebraic specification can be combined with model-oriented, state-based specification. Many existing styles of specification are supported: specification in equational style, specification in pre- and post-condition style, inductive definitions, algorithmic definitions in functional as well as imperative style, etc. Furthermore, there are facilities for modular structuring of specifications. These virtues of the language do not guarantee good specifications and designs. This chapter treats some principles of specification and design whose usefulness in practice has been established. Guidelines and techniques concerning these principles are included as well. The topics concerned are primarily of a stylistic nature. Some topics concerning established scientific results are treated as well.
“But everybody needs a little proof,” said Owen Meany. (John Irving)
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
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this chapter
Cite this chapter
Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A. (1994). Advanced Topics. In: Notations for Software Design. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-2107-7_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2107-7_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19902-1
Online ISBN: 978-1-4471-2107-7
eBook Packages: Springer Book Archive