Publisher's Synopsis
The main theme of the BCS-FACS 7th Refinement Workshop, held in Bath, 3 - 5 July 1996, was the use of refinement techniques to provide theoretical foundations for reliable systems design. The papers cover both 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. The full papers from the BCS-FACS 7th Refinement Workshop are available on-line at: http://www.springer.co.uk/eWiC/Workshops/7RW.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).