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.
- ISBN10 3540761047
- ISBN13 9783540761044
- Publish Date 26 November 1996
- Publish Status Active
- Out of Print 28 January 2015
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Format Paperback
- Pages 16
- Language English