The refinement of formal specifications using reusable software components in Ada95
This thesis documents research that enables formal specifications, written in the specification language Z, to be turned into high level code in fewer steps than other refinement techniques and without the need for formal proof. This method helps to overcome one of the mam stumbling blocks for forma...
| Main Author: | |
|---|---|
| Published: |
University of South Wales
1998
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265690 |