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

Bibliographic Information

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

He Jifeng, John Cooke, and Peter Wallis (eds.)

(Electronic workshops in computing)

Springer, c1997

  • : pbk

Search this Book/Journal
Note

"Published in collaboration with the British Computer Society."

入力は遡及データによる

Description and Table of Contents

Description

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.

by "Nielsen BookData"

Related Books: 1-1 of 1
Details
Page Top