+612 9045 4394
Formal Methods in Standards : A Report from the B. C. S. Working Group - Clive L. N. Ruggles

Formal Methods in Standards : A Report from the B. C. S. Working Group

By: Clive L. N. Ruggles (Editor), Derek J. Andrews (Contribution by), David Blyth (Contribution by), Cornelia Boldyreff (Contribution by), David Duce (Contribution by)

Paperback ISBN: 9783540195771
Number Of Pages: 135

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 7 to 10 business days

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.

The formal methods in standards working group; what is a standard?; the standards-making structure; the standards development process; the quality of standards; what are formal methods?; a survey of formal methods and tools - the STARTS guide; case studies - programming languages, document structure, graphics, open systems interconnection; current practice - issues and guidelines.

ISBN: 9783540195771
ISBN-10: 3540195777
Audience: General
Format: Paperback
Language: English
Number Of Pages: 135
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: GB
Dimensions (cm): 24.41 x 16.99  x 0.81
Weight (kg): 0.25