Specification and implementation of the Larch shared language

This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to practise what is preached. The aim is to implement a formal specification language, to write a non-trivial specification and to employ formal methods of specification during software development. As a result, one should have a thorough understanding of a formal specification language, and the practical implications of using it as a basis for formal methods.

Grantor dc:publisher.institution

Department of Computer Science

Year dc:date.issued

1989

Author dc:creator

• Everett, Yvonne

Advisor dc:contributor.advisor

• MacGregor, Ken

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/11427/17380

OAI identifier oai:identifier

oai:open.uct.ac.za:11427/17380