4th Refinement Workshop: proceedings of the 4th Refinement Workshop

Front Cover
This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. Refinement is the term used to describe systematic and formal methods of specifying hardware and software, and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hardware and software is by now widely appreciated among both academics and many workers in industry, although such methods - and in particular their application to industrial-scale problems - are still in their infancy. This workshop brought together some of the best European workers in the field to present tutorials on the state of the art in both theory and industrial application, to describe their latest research, and to indicate future directions. The papers cover the development of both sequential and concurrent systems, and both theoretical ideas and support tools for their effective use. This volume will be of interest to researchers in formal methods, and software engineers wanting to keep track of developments in the application of formal methods in industry.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introductory Talk to the
1
Specialising Abstract Programs
34
A Refinement Case Study Using the Abstract Machine
51
Survey and Perspective
97
Formal Methods and the Sociology of Proof
115
A Central Heater
138
The Ecology of Class Refinement
185
Contents
241
A Case Study in Program
281
Part 1
326
Design Verification and Documentation of Concurrent
360
E P Gribomont 360
377
Constructing and Refining Modules in a Type Theory
411
The Varieties of Refinement
441
Timed Process Algebra Petri Nets and Event Refinement
456
Author Index
479

CSP and Timewise Refinement
258
Copyright

Other editions - View all

Bibliographic information