Abstract
This chapter introduces two case studies, especially devised to make our study of formal specification more interesting. They also make the point that the inquisitive observer may find that mathematics is part of ordinary life. This awareness may encourage a positive attitude towards formal specification.
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
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Nissanke, N. (1999). Specification for Fun. In: Formal Specification. Springer, London. https://doi.org/10.1007/978-1-4471-0791-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0791-0_4
Publisher Name: Springer, London
Print ISBN: 978-1-85233-002-6
Online ISBN: 978-1-4471-0791-0
eBook Packages: Springer Book Archive