Formal Methods in Standards

A Report from the BCS Working Group
1. Auflage. 1990
ISBN: 978-3-540-19577-1
Verlag: Springer

Buch, Englisch, 135 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 269 g

3. 1 What are formal methods?. 17 3. 2 A survey of formal methods. 18 3. 2. 1 FDTs and FSLs for sequential software. 18 3. 2. 1. 1 VDM (Vienna Development Method). 19 3. 2. 1. 2 Z. 20 3. 2. 1. 3 me too. 20 3. 2. 1. 4 HOS and AXES. 20 3. 2. 1. 5 Gist. 20 3. 2. 1. 6 Clear. 21 3. 2. 1. 7 OBJ. 21 3. 2. 1. 8 ACT ONE and ACT TWO. 21 3. 2. 1. 9 CIP-L. 21 3. 2. 1. 10 LPG. 21 3. 2. 1. 11 Larch. 21 3. 2. 1. 12 Logic languages-the Prolog family. 22 3. 2. 1. 13 Functional languages. 22 3. 2. 2 FDTs and FSLs for concurrent software. 22 3. 2. 2. 1 LOTOS. 23 3. 2. 2. 2 Estelle. 24 3. 2. 2. 3 SDL. 24 3. 2. 2. 4 ASN. l. 24 3. 2. 2. 5 TTCN. 25 3. 2. 2. 6 Gypsy. 25 3. 2. 3 Graphical formalisms. 25 3. 2. 3. 1 Petri nets. 25 3. 2. 3. 2 Higraphs. 25 3. 2. 4 Less formal methods and notations. 26 3. 2. 4. 1 SADT. 26 3. 2. 4. 2 Structured Design. 26 3. 2. 4. 3 SSADM and LSDM. 26 3. 2. 4. 4 JSPandJSD. 26 3. 2. 4. 5 HDM and the SPECIAL language. 27 3. 2. 4. 6 Structured analysis and design of real-time systems. 27 3. 3 Support tools for FDTs.

Zielgruppe

Research

Autoren/Hrsg.

Ruggles, Clive L. N.

Weitere Mitwirkende

Andrews, Derek

Blyth, David

Boldyreff, Cornelia

Duce, David

Hall, Patrick

Neely, Robert

Ruggles, Clive

Tetteh-Lartey, Nik

Thomas, Rick

Wrightson, Ann

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering

Inhaltsverzeichnis

1 The Formal Methods in Standards Working Group.- 1.1 Terms of reference.- 1.2 Constitution.- 1.3 Modus operandi.- 1.4 Membership.- 2 Standards: the Background.- 2.1 What is a standard?.- 2.2 The standards-making structure.- 2.3 The standards development process.- 2.4 The quality of standards.- 3 Formal Methods: the Background.- 3.1 What are formal methods?.- 3.2 A survey of formal methods.- 3.3 Support tools for FDTs.- 3.4 A survey of methods and tools: the STARTS guide.- 4 Formal Methods in Standards: Four Case Studies.- 4.1 Introduction.- 4.2 Programming languages.- 4.3 Document structure.- 4.4 Graphics.- 4.5 Open systems interconnection.- 5 Current Practice: Issues and Guidelines.- 5.1 Introduction.- 5.2 Quality and correctness.- 5.3 Phased introduction of formal methods.- 5.4 Parallel and retrospective application of formal methods.- 5.5 Choice of formal notation.- 5.6 Tools.- 5.7 General conclusions.- Bibliography of standards.- General bibliography.- Appendix A.- List of Acronyms.- Appendix B.- Glossary of Formal Methods Terminology.