Cover Image

Formal Methods in Standards : a Report from the BCS Working Group /

Show other versions (1)

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 rela...

Full description

Bibliographic Details
Main Author: Ruggles, C. L. N.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London, 1990.
Subjects:
Computer science.
Software engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Contents: The Formal Methods in Standards Working Group
  • Standard: the Background
  • Formal Methods: the Background
  • Formal Methods in Standards: Four Case Studies
  • Current Practice: Issues and Guidelines
  • Appendices: List of acronyms; glossary of formal methods terminology.