## Formal Methods in Standards: A Report from the Bcs Working GroupThis 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. |

### 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

Formal Methods in Standards: A Report from the BCS Working Group Clive L.N. Ruggles Limited preview - 2012 |

Formal Methods in Standards: A Report from the BCS Working Group Clive L.N. Ruggles No preview available - 2012 |

### Common terms and phrases

algebraic system Algol 60 ation automaton behaviour C.A.R. Hoare calculus or theory canonical form CCITT codomain Computer Graphics conformance testing D. A. Duce data types defined denoted derivation described description technique directed graph Disjunctive document element entity Estelle example expression finite Finite State Machine FODA formal definition formal description formal methods formal notation formal specification FTAM Geneva Grammar Lan graph Graphical Kernel System graphics systems implementation Information Processing Systems—Programming input International Standard JTC1 Language Lan LOTOS machine mathematical Modula-2 natural language natural numbers non-terminals operation ordered pairs output partial ordering Petri polyadic predicate calculus predicate formula Prenex primitives production programming language Prolog proposition protocol real-time requirements semantics sequence sequential SGML software development Software Engineering specification language standardisation standards development statement strings structure subset symbols temporal logic TTCN