Formal Methods in Standards: A Report from the BCS Working Group pdf epub fb2

Formal Methods in Standards: A Report from the BCS Working Group by Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff, David Duce, Patrick Hall, Robert Neely, Clive Ruggles, Nik Tetteh-Lartey, Rick Thomas, Ann Wrightson epub fb2 djvu

Author: Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff, David Duce, Patrick Hall, Robert Neely, Clive Ruggles, Nik Tetteh-Lartey, Rick Thomas, Ann Wrightson
Title: Formal Methods in Standards: A Report from the BCS Working Group
ISBN: 3540195777
ISBN13: 978-3540195771
Other Formats: lrf mbr rtf doc
Pages: 135 pages
Publisher: Springer; Softcover reprint of the original 1st ed. 1990 edition (August 24, 1990)
Language: English
Size EPUB version: 1386 kb
Size FB2 version: 1340 kb
Category: Computers & Technology
Subcategory: Programming

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

Related EPUB FB2 books to Formal Methods in Standards: A Report from the BCS Working Group by Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff, David Duce, Patrick Hall, Robert Neely, Clive Ruggles, Nik Tetteh-Lartey, Rick Thomas, Ann Wrightson
Formal Methods: Industrial Use from Model to the Code
Formal Methods: Industrial Use from Model to the Code
Logic Programming: Formal Methods and Practical Applications (STUDIES IN CO ...
Logic Programming: Formal Methods and Practical Applications (STUDIES IN CO ...
Concurrent Systems: Formal Development in Csp (The McGraw-Hill Internationa ...
Concurrent Systems: Formal Development in Csp (The McGraw-Hill Internationa ...
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, ...
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford,  ...
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Formal Description Techniques, III: Proceedings of the Ifip Tc/Wg 6.1 Third ...
Formal Description Techniques, III: Proceedings of the Ifip Tc/Wg 6.1 Third ...
Formal Methods in Systems Engineering
Formal Methods in Systems Engineering
The Way of Z: Practical Programming with Formal Methods
The Way of Z: Practical Programming with Formal Methods
Formal Methods in Systems Engineering
Formal Methods in Systems Engineering
Formal Methods for Distributed Processing: A Survey of Object-Oriented Appr ...
Formal Methods for Distributed Processing: A Survey of Object-Oriented Appr ...
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design