Specification and implementation of the Larch shared language

Simple item page
dc.contributor.advisorMacGregor, Kenen_ZA
dc.contributor.authorEverett, Yvonneen_ZA
dc.date.accessioned2016-02-29T12:07:24Z
dc.date.available2016-02-29T12:07:24Z
dc.date.issued1989en_ZA
dc.description.abstractThis 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.en_ZA
dc.identifier.apacitationEverett, Y. (1989). <i>Specification and implementation of the Larch shared language</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/17380en_ZA
dc.identifier.chicagocitationEverett, Yvonne. <i>"Specification and implementation of the Larch shared language."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1989. http://hdl.handle.net/11427/17380en_ZA
dc.identifier.citationEverett, Y. 1989. Specification and implementation of the Larch shared language. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Everett, Yvonne AB - 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. DA - 1989 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1989 T1 - Specification and implementation of the Larch shared language TI - Specification and implementation of the Larch shared language UR - http://hdl.handle.net/11427/17380 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/17380
dc.identifier.vancouvercitationEverett Y. Specification and implementation of the Larch shared language. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1989 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/17380en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Computer Scienceen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.subject.otherComputer Scienceen_ZA
dc.subject.othersoftware developmenten_ZA
dc.titleSpecification and implementation of the Larch shared languageen_ZA
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMScen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1989_everett_yvonne.pdf
Size:
1.3 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters