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: | Burton, Jonathan |
---|---|
Published: |
University of Newcastle Upon Tyne
2004
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401505 |
Similar Items
-
A formal refinement framework for the systems modeling language
by: Jacobs, Petrus Jacobus
Published: (2015) -
Unifying theories of logics with undefinedness
by: Bandur, Victor
Published: (2014) -
Denotational semantics of mobility in Unifying Theories of Programming (UTP)
by: Ekembe Ngondi, Gerard
Published: (2016) -
User experience design and agile development : integration as an on-going achievement in practice
by: Ferreira, Jennifer
Published: (2011) -
A framework for exploiting emergent behaviour to capture 'best practice' within a programming domain
by: Mercer, Sarah Jane
Published: (2004)