BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996

The main theme of the BCS-FCAS 7th Refinement Workshop, held at the University of Bath, 3-5 July, 1996, was the use of refinement techniques to provide theoretical foundations for reliable systems design.

The papers cover both the practical and theoretical issues involved in developing real-time systems.

Among the main topics covered are: requirement capture and analysis of safety-critical systems; methods for large-scale software development; and tools and techniques for parallel systems development.

This booklet provides the passwords needed to access the Web-site, which contains the full papers from the workshop.

Purchasing the booklet provides the user with unlimited access to the site for four years.