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 lang...
Main Author: | Everett, Yvonne |
---|---|
Other Authors: | MacGregor, Ken |
Format: | Dissertation |
Language: | English |
Published: |
University of Cape Town
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11427/17380 |
Similar Items
-
HOOD : a Higher-Order Object-Oriented Database model and its implementation
by: Brand, Michael Max
Published: (2016) -
Language Support for Exploiting Software Structure Specifications
by: Kumar, Bharath M
Published: (2005) -
Moops: A web implementation of the Personal Software Process reporting system
by: Gigler, Thomas Russell, III.
Published: (2008) -
User participation during the implementation of software packages
by: Coetzee, Jean-Pierre
Published: (2017) -
SCQL : a formal model and a query language for source control repositories
by: Hindle, Abram James.
Published: (2008)