Algebraic tables : abstract computability and system documentation

This thesis builds on the work of D. Parnas and other collaborators on the Naval Research Laboratory's pilot Software Cost Reduction Scheme for the A-7E aircraft. This thesis incorporates the tabular approach pioneered by this project into an algebraic environment to benefit the writers of alge...

Full description

Bibliographic Details
Main Author: Wilder, A. J.
Published: Swansea University 1998
Subjects:
519
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636599