Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
John A. McDermid · Butterworths eBooks · 1989
Interactive systems design and formal development are incompatible?, Alan Dix and Michael Harrison refinement of shared systems, Jeremy Jacob process refinement He Jifeng experience of formal development in CICS, Paul Johnson data reification, Cliff B. Jones from specification, through design, to cook - a case study in refinement, Steve King and Ib Holm Sorenson refinement of specification versus refinement of design, Ruaridh Macdonald and Chris Sennett Hierarchical Refinement of A Z Specification, Dave Neilson refinement in VLSI design, David Shepherd program construction from a formal specification, John B. Wordsworth using VDM with rely and guarantee conditions - experiences from a real project, J.C.P. Woodcock and B. Dickinson.