Specification and implementation of the Larch shared language

Master Thesis

1989

Permanent link to this Item
http://hdl.handle.net/11427/17380
Files
thesis_sci_1989_everett_yvonne.pdf (1.3 MB)
Authors
Everett, Yvonne
Supervisors
MacGregor, Ken
Journal Title
Link to Journal
Journal ISSN
Volume Title
Publisher
Publisher

University of Cape Town

Department
Department of Computer Science
Faculty
Faculty of Science
License
Series
Abstract
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.
Description
Keywords
Computer Science
software development

Reference:

Everett, Y. 1989. Specification and implementation of the Larch shared language. University of Cape Town.

Collections
Masters