Research Repository

Applications and Methodology of ?Z

Henson, M (2009) 'Applications and Methodology of ?Z.' In: Boca, P and Bowen, JP and Siddiqi, J, (eds.) Formal Methods: State of the Art and New Directions. Springer, 117 - 145. ISBN 9781848827356

Full text not available from this repository.


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

Actions (login required)

View Item View Item