Paperback(Softcover reprint of the original 1st ed. 1990)

Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9783540195771
Publisher: Springer London
Publication date: 08/24/1990
Edition description: Softcover reprint of the original 1st ed. 1990
Pages: 135
Product dimensions: 6.69(w) x 9.61(h) x (d)

Table of Contents

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.1.1 Concepts.- 2.1.2 Why standardise?.- 2.1.3 Principles of standardisation.- 2.1.4 Problems.- 2.2 The standards-making structure.- 2.2.1 The protagonists.- Overview.- Formative committees.- ISO.- 2.2.2 The ISO/IEC Joint Technical Committee on Information Technology.- 2.3 The standards development process.- 2.3.1 International standards generation: an overview.- Identification of user requirements.- Advancement of user requirements.- Development and review.- 2.3.2 An analogy with the software development process.- 2.4 The quality of standards.- 2.4.1 Failure to serve a useful purpose.- 2.4.2 Difficulty of use.- 2.4.3 Incompatibility with other standards.- 2.4.4 Difficulty of maintenance.- 2.4.5 Malfunction.- 3 Formal Methods: the Background.- 3.1 What are formal methods?.- 3.2 A survey of formal methods.- 3.2.1 FDTs and FSLs for sequential software.- VDM (Vienna Development Method).- Z.- me too.- HOS and AXES.- Gist.- Clear.- OBJ.- ACT ONE and ACT TWO.- CIP-L.- LPG.- Larch.- Logic languages-the Prolog family.- Functional languages.- 3.2.2 FDTs and FSLs for concurrent software.- LOTOS.- Estelle.- SDL.- ASN.1.- TTCN.- Gypsy.- 3.2.3 Graphical formalisms.- Petri nets.- Higraphs.- 3.2.4 Less formal methods and notations.- SADT.- Structured Design.- SSADM and LSDM.- JSP and JSD.- HDM and the SPECIAL language.- Structured analysis and design of real-time systems.- 3.3 Support tools for FDTs.- 3.3.1 Introduction.- 3.3.2 The nature of FDT tools.- 3.3.3 Validation and verification tools.- 3.3.4 Tool environments.- 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.2.1 Overview.- 4.2.2 The denotational approach to the formal definition of a programming language.- 4.2.3 Formal definitions of real languages.- 4.2.4 Discussion.- 4.3 Document structure.- 4.3.1 The Standard Generalised Markup Language (SGML).- What is SGML?.- The development of SGML.- Discussion.- 4.3.2 Office Document Architecture (ODA).- What is ODA9.- FODA.- History and development of FODA.- Definition and uses of FODA.- Developments in formalising ODA.- Conclusions.- 4.4 Graphics.- 4.4.1 Introduction.- 4.4.2 Standards for computer graphics.- 4.4.3 Applications of formal specification to computer graphics.- Early work.- Specification of standards for computer graphics.- Applications to GKS.- 4.4.4 Future developments.- 4.5 Open systems interconnection.- 4.5.1 Formal methods in computer communication standards.- Introduction.- Historical background.- The current situation.- An example: multiplexing.- Limitations and prospects.- 4.5.2 OSI Protocol Conformance Testing.- The ISO method of conformance test (derivation and) specification.- Tree and Tabular Combined Notation (TTCN).- Conformance testing of FTAM in the CTS-WAN project.- Conclusion.- 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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews