Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, 117 - 145. ISBN 9781848827356
Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, 117 - 145. ISBN 9781848827356
Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, 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 > Computer Science and Electronic Engineering, School of |
| Depositing User: | Jim Jamieson |
| Date Deposited: | 10 Jan 2013 11:46 |
| Last Modified: | 17 Aug 2017 18:04 |
| URI: | http://repository.essex.ac.uk/id/eprint/5044 |