ACE '05 Proceedings of the 7th Australasian conference on Computing education - Volume 42
| Hi-index | 0.00 |
From the Publisher:Formal Specification offers a practical and versatile approach to constructing formal specifications. Mathematical principles, abstraction and modularisation are explained using examples from everyday life and practical computing. Both model-based and algebraic approaches to specification are covered.. "Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience.