The theory and practice of refinement-after-hiding
In software or hardware development, we take an abstract view of a process or system - i.e. a specification - and proceed to render it in a more implement able form. The relationship between an implementation and its specification is characterised in the context of formal verification using a notion...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
2004
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401505 |