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: | |
---|---|
Other Authors: | |
Format: | Dissertation |
Language: | English |
Published: |
University of Cape Town
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11427/17380 |
id |
ndltd-netd.ac.za-oai-union.ndltd.org-uct-oai-localhost-11427-17380 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-netd.ac.za-oai-union.ndltd.org-uct-oai-localhost-11427-173802020-10-06T05:11:45Z Specification and implementation of the Larch shared language Everett, Yvonne MacGregor, Ken Computer Science software development 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. 2016-02-29T12:07:24Z 2016-02-29T12:07:24Z 1989 Master Thesis Masters MSc http://hdl.handle.net/11427/17380 eng application/pdf University of Cape Town Faculty of Science Department of Computer Science |
collection |
NDLTD |
language |
English |
format |
Dissertation |
sources |
NDLTD |
topic |
Computer Science software development |
spellingShingle |
Computer Science software development Everett, Yvonne Specification and implementation of the Larch shared language |
description |
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. |
author2 |
MacGregor, Ken |
author_facet |
MacGregor, Ken Everett, Yvonne |
author |
Everett, Yvonne |
author_sort |
Everett, Yvonne |
title |
Specification and implementation of the Larch shared language |
title_short |
Specification and implementation of the Larch shared language |
title_full |
Specification and implementation of the Larch shared language |
title_fullStr |
Specification and implementation of the Larch shared language |
title_full_unstemmed |
Specification and implementation of the Larch shared language |
title_sort |
specification and implementation of the larch shared language |
publisher |
University of Cape Town |
publishDate |
2016 |
url |
http://hdl.handle.net/11427/17380 |
work_keys_str_mv |
AT everettyvonne specificationandimplementationofthelarchsharedlanguage |
_version_ |
1719350411939282944 |