Use this URL to cite or link to this record in EThOS:
Title: Formal software development tools : an investigation into usability
Author: Kadoda, Gada F.
ISNI:       0000 0001 3593 8160
Awarding Body: Loughborough University
Current Institution: Loughborough University
Date of Award: 1997
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Theorem provers