BCS-FACS 7th Refinement Workshop
Proceedings of the BCS-FACS 7th Refinement Workshop Bath, 3-5 July 1996
Springer (Publisher)
Published on 26. November 1996
Book
Paperback/Softback
VI, 8 pages
978-3-540-76104-4 (ISBN)
Description
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).
More details
Series
Edition
1st Edition.
Language
English
Place of publication
London
United Kingdom
Publishing group
Springer Berlin
Target group
College/higher education
Professional and scholarly
Research
Dimensions
Height: 150 mm
Weight
37 gr
ISBN-13
978-3-540-76104-4 (9783540761044)
Schweitzer Classification