Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2016
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614457397510144 |
|---|---|
| access_status_str | Open Access |
| author | Everett, Yvonne |
| author2 | MacGregor, Ken |
| author_browse | Everett, Yvonne MacGregor, Ken |
| author_facet | MacGregor, Ken Everett, Yvonne |
| author_sort | Everett, Yvonne |
| collection | Thesis |
| 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. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/17380 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:52:20.969Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2016 |
| publishDateRange | 2016 |
| publishDateSort | 2016 |
| publisher | Department of Computer Science |
| publisherStr | Department of Computer Science |
| record_format | dspace |
| source_str | UCTD — University of Cape Town Open Access Repository |
| spelling | oai:open.uct.ac.za:11427/17380 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 Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science software development Everett, Yvonne Specification and implementation of the Larch shared language |
| thesis_degree_str | Master's |
| title | 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_short | Specification and implementation of the Larch shared language |
| title_sort | specification and implementation of the larch shared language |
| topic | Computer Science software development |
| url | http://hdl.handle.net/11427/17380 |
| work_keys_str_mv | AT everettyvonne specificationandimplementationofthelarchsharedlanguage |