Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, pp. 117-145. ISBN 9781848827356.
Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, pp. 117-145. ISBN 9781848827356.
Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, pp. 117-145. ISBN 9781848827356.
Abstract
In this chapter, we describe a specification logic called ?Z. This is a Z-like formal method in which specifications are theories, not simply definitions. We examine simple applications and discuss some methodological issues that these illustrate. The chapter is introductory, and should be comprehensible to a reader with a knowledge of predicate logic and some familiarity with the ideas of computer system specification.
Item Type: | Book Section |
---|---|
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
Depositing User: | Unnamed user with email elements@essex.ac.uk |
Date Deposited: | 10 Jan 2013 11:46 |
Last Modified: | 16 May 2024 17:57 |
URI: | http://repository.essex.ac.uk/id/eprint/5044 |