Title :
Specifying and refining programs with Z
Author :
Wordsworth, J.B.
Author_Institution :
IBM UK Labs. Ltd., Winchester, UK
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;
Conference_Titel :
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location :
Liverpool
