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...
Main Author: | |
---|---|
Published: |
Swansea University
1998
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636599 |