DocumentCode
1070526
Title
Structuring specifications in Z
Author
Woodcock, J.C.P.
Author_Institution
Oxford Univ., UK
Volume
4
Issue
1
fYear
1989
fDate
1/1/1989 12:00:00 AM
Firstpage
51
Lastpage
66
Abstract
In the specification notation known as Z, schemas are used to structure mathematical descriptions. The article describes the language of schemas and the conventions that are employed in their use. It also describes how proof obligations are generated during specification, and how these obligations may be discharged. Many examples, mostly taken from the specification of the user interface to a small, but realistic, software component are also included
Keywords
formal languages; formal specification; specification languages; Z; conventions; mathematical descriptions; proof obligations; schemas; software component; specification notation; specification structuring; user interface;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28090
Link To Document