Title :
Reasoning about Object-Z specifications
Author_Institution :
Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
Abstract :
This paper presents a method of reasoning about Object-Z specifications. The approach utilises the modularity inherent in Object-Z specifications to simplify proofs. Properties proved for a class in isolation can be used when that class is either inherited by another class or instantiated as part of a system of interacting objects. Proofs using structural induction and the notion of object integrity are discussed
Keywords :
data integrity; formal logic; formal specification; inference mechanisms; inheritance; object-oriented methods; Object-Z specifications; inheritance; instantiation; interacting objects; modularity; object classes; object integrity; proof simplification; reasoning; structural induction; Computer science; Guidelines; Large-scale systems; Logic;
Conference_Titel :
Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-8186-7171-8
DOI :
10.1109/APSEC.1995.496998
