No Cover Image

E-Thesis 156 views 48 downloads

Software frameworks for embedding formal specifications and documentation in object oriented programming languages. / Shu Tao

Swansea University Author: Shu Tao

Abstract

This thesis forms part of a project on formally specifying and documenting Object-Oriented programming languages. In particular, this thesis investigates the construction of a generic software framework which can provide a formal specification and documentation model for C# classes including importa...

Full description

Published: 2007
Institution: Swansea University
Degree level: Master of Philosophy
Degree name: M.Phil
URI: https://cronfa.swan.ac.uk/Record/cronfa42302
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-08-02T18:54:22Z
last_indexed 2019-10-21T16:47:34Z
id cronfa42302
recordtype RisThesis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-08-16T14:39:02.9105634</datestamp><bib-version>v2</bib-version><id>42302</id><entry>2018-08-02</entry><title>Software frameworks for embedding formal specifications and documentation in object oriented programming languages.</title><swanseaauthors><author><sid>dcffba2d2f32ef26ef89200b9f7ee961</sid><ORCID>NULL</ORCID><firstname>Shu</firstname><surname>Tao</surname><name>Shu Tao</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract>This thesis forms part of a project on formally specifying and documenting Object-Oriented programming languages. In particular, this thesis investigates the construction of a generic software framework which can provide a formal specification and documentation model for C# classes including important concepts such as inheritance. Object-oriented languages are promoted for their ability to provide a modular approach to programming, allowing programmers to design classes that perform a common set of tasks that can then be easily reused and expanded upon. The syntax of the public interface of a class itself can and has been documented in a reasonably formal way, the semantics is usually defined simply with natural language. In order to try and solve this problem, we use self-defined utilities to include formal semantics to improve the quality of the documentation. By that means, we can also extract a complete formal specification. Formal specifications and documentations have been proved to be a practical way of modelling and testing specific systems when applied to certain kinds of problem: mainly safety critical applications, where the need for specific mathematical expertise is outweighed by the consequences of system failure. What is lacking at the moment is there are no industrial toolsets to make development using formal specifications faster and easier. It is hard for people to understand and use specifications if they do not know any specification language. At the moment it is generally necessary to have substantial mathematical knowledge of the underlying logics used by the languages. This project is about building a generic toolset which is possible to make the task of producing formal specifications in a reasonable and easier way.</abstract><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords>Computer science.</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2007</publishedYear><publishedDate>2007-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Master of Philosophy</degreelevel><degreename>M.Phil</degreename><apcterm/><lastEdited>2018-08-16T14:39:02.9105634</lastEdited><Created>2018-08-02T16:24:28.7449973</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Shu</firstname><surname>Tao</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0042302-02082018162443.pdf</filename><originalFilename>10798010.pdf</originalFilename><uploaded>2018-08-02T16:24:43.8000000</uploaded><type>Output</type><contentLength>3277645</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:24:43.8000000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-08-16T14:39:02.9105634 v2 42302 2018-08-02 Software frameworks for embedding formal specifications and documentation in object oriented programming languages. dcffba2d2f32ef26ef89200b9f7ee961 NULL Shu Tao Shu Tao true true 2018-08-02 This thesis forms part of a project on formally specifying and documenting Object-Oriented programming languages. In particular, this thesis investigates the construction of a generic software framework which can provide a formal specification and documentation model for C# classes including important concepts such as inheritance. Object-oriented languages are promoted for their ability to provide a modular approach to programming, allowing programmers to design classes that perform a common set of tasks that can then be easily reused and expanded upon. The syntax of the public interface of a class itself can and has been documented in a reasonably formal way, the semantics is usually defined simply with natural language. In order to try and solve this problem, we use self-defined utilities to include formal semantics to improve the quality of the documentation. By that means, we can also extract a complete formal specification. Formal specifications and documentations have been proved to be a practical way of modelling and testing specific systems when applied to certain kinds of problem: mainly safety critical applications, where the need for specific mathematical expertise is outweighed by the consequences of system failure. What is lacking at the moment is there are no industrial toolsets to make development using formal specifications faster and easier. It is hard for people to understand and use specifications if they do not know any specification language. At the moment it is generally necessary to have substantial mathematical knowledge of the underlying logics used by the languages. This project is about building a generic toolset which is possible to make the task of producing formal specifications in a reasonable and easier way. E-Thesis Computer science. 31 12 2007 2007-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Master of Philosophy M.Phil 2018-08-16T14:39:02.9105634 2018-08-02T16:24:28.7449973 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Shu Tao NULL 1 0042302-02082018162443.pdf 10798010.pdf 2018-08-02T16:24:43.8000000 Output 3277645 application/pdf E-Thesis true 2018-08-02T16:24:43.8000000 false
title Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
spellingShingle Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
Shu Tao
title_short Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
title_full Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
title_fullStr Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
title_full_unstemmed Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
title_sort Software frameworks for embedding formal specifications and documentation in object oriented programming languages.
author_id_str_mv dcffba2d2f32ef26ef89200b9f7ee961
author_id_fullname_str_mv dcffba2d2f32ef26ef89200b9f7ee961_***_Shu Tao
author Shu Tao
author2 Shu Tao
format E-Thesis
publishDate 2007
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
description This thesis forms part of a project on formally specifying and documenting Object-Oriented programming languages. In particular, this thesis investigates the construction of a generic software framework which can provide a formal specification and documentation model for C# classes including important concepts such as inheritance. Object-oriented languages are promoted for their ability to provide a modular approach to programming, allowing programmers to design classes that perform a common set of tasks that can then be easily reused and expanded upon. The syntax of the public interface of a class itself can and has been documented in a reasonably formal way, the semantics is usually defined simply with natural language. In order to try and solve this problem, we use self-defined utilities to include formal semantics to improve the quality of the documentation. By that means, we can also extract a complete formal specification. Formal specifications and documentations have been proved to be a practical way of modelling and testing specific systems when applied to certain kinds of problem: mainly safety critical applications, where the need for specific mathematical expertise is outweighed by the consequences of system failure. What is lacking at the moment is there are no industrial toolsets to make development using formal specifications faster and easier. It is hard for people to understand and use specifications if they do not know any specification language. At the moment it is generally necessary to have substantial mathematical knowledge of the underlying logics used by the languages. This project is about building a generic toolset which is possible to make the task of producing formal specifications in a reasonable and easier way.
published_date 2007-12-31T03:52:42Z
_version_ 1763752607594053632
score 11.013148

Similar Items