Formal Methods in Standards: A Report from the Bcs Working Group

Front Cover
Clive L. N. Ruggles
Springer-Verlag GmbH, 1990 - Computers - 135 pages
This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

the Background
5
the Background
17
Four Case Studies
31
Copyright

2 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information