DocumentCode
281345
Title
Specifying and refining programs with Z
Author
Wordsworth, J.B.
Author_Institution
IBM UK Labs. Ltd., Winchester, UK
fYear
1988
fDate
11-15 Jul 1988
Firstpage
8
Lastpage
16
Abstract
The author discusses formal methods of software development. He goes on to discuss specifications and refinements. The guarded command language is examined: the author looks particularly at declarations and commands; sequence control structure; alternation control structure; and iteration control structure. He also discusses the use of Z schemas to summarise the function of programs in the guarded command language
Keywords
formal languages; programming theory; software engineering; specification languages; Z schemas; alternation control structure; commands; declarations; formal methods; guarded command language; iteration control structure; sequence control structure; software development; specifications;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location
Liverpool
Type
conf
Filename
196352
Link To Document