Edinburgh Research Archive >
Informatics, School of >
Informatics thesis and dissertation collection >
Please use this identifier to cite or link to this item:
|Title: ||Correctness-Oriented Approaches to Software Development|
|Authors: ||Gilmore, Stephen|
|Issue Date: ||Jul-1991|
|Publisher: ||University of Edinburgh. College of Science and Engineering. School of Informatics.|
The Queen's University of Belfast; Faculty of Science
|Abstract: ||This thesis reports upon the experimental development of a software system. The domain of interest of this study is the use of mathematical reasoning in software development. An experiment is devised in which a modular software system is formally specified in a variety of specification styles. These initial specifications are subsequently refined to efficiently executable implementations. The refinements of the specifications are supported by differing amounts of mathematical reasoning.
The issues to be investigated are the effect of increased use of mathematical analysis in software development and the influence of specifiation and refinement style on the quality of the subsequent implementation.
Implementation quality is determined by: correctness with respect to the initial formal specification; clarity of the implementation; and machine efficiency.
The products of the development are the analysis of specification, refinement and implementation styles and the software system itself.|
|Appears in Collections:||Informatics thesis and dissertation collection|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.