The Theory and practice of refinement : approaches to the formal development of large-scale software systems
著者
書誌事項
The Theory and practice of refinement : approaches to the formal development of large-scale software systems
Butterworths, 1989
大学図書館所蔵 全1件
注記
"Based on the proceedings of a Workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988"--Foreword
Includes bibliographical references
内容説明・目次
内容説明
This work is based on the proceedings of a workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988. The workshop covered industrial applications of refinement, case studies of new techniques, and the underlying theory. Although much of the material has a research orientation it should be readily understood by most formal methods practitioners. Thus the material should be of value to those wishing to apply refinement techniques in industry, as well as to researchers wishing to gain an understanding of current work in the area.
目次
- 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.
「Nielsen BookData」 より