Issues in validation and executability of formal specifications in the Z notation
The work considers issues in the execution of the Z notation in a logic programming language. A subset of Z which is capable of being animated is identified, together with the necessary theoretical foundations for the relationship of Z to its executable form. The thesis also addresses the transition...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leeds
2002
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.529165 |