Formal Methods in Standards
Subtitle: A Report from the BCS Working Group
By: edited by C. L. N. Ruggles
Publisher: Springer London
Published: 1990
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 135
ISBN-13: 9781447134190
Description: 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.