Thesis-1997-Kadoda.pdf (10.18 MB)
Download file

Formal software development tools: an investigation into usability

Download (10.18 MB)
thesis
posted on 20.02.2018, 11:12 by Gada F. Kadoda
Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficult notations and theories. This thesis takes the view that the availability of usable tools that support formal techniques plays an important role in promoting their use by a wider community of software engineers. [Continues.]

History

School

  • Science

Department

  • Computer Science

Publisher

© G.F. Kadoda

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 2.5 Generic (CC BY-NC-ND 2.5) licence. Full details of this licence are available at: http://creativecommons.org/licenses/by-nc-nd/2.5/

Publication date

1997

Notes

A doctoral thesis submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy at Loughborough University.

Language

en

Usage metrics

Keywords

Exports