BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
著者
書誌事項
BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
（Electronic workshops in computing）
Springer, c1997
- : pbk
注記
"Published in collaboration with the British Computer Society."
入力は遡及データによる
内容説明・目次
内容説明
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.
「Nielsen BookData」 より
