Formal Methods in Standards: A Report from the Bcs Working Group
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Four Case Studies
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
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