Specification of Software Systems

• Main Authors: Alagar, V.S (Author), Periyasamy, K. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2011.
• Edition: 2nd Edition.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understandin...

Table of Contents:

• Part I: Specification Fundamentals
• The Role of Specification
• Specification Activities
• Specification Qualities
• Abstraction.-Part II: Formalism Fundamentals
• Formal Systems
• Automata
• Extended Finite State Machine
• Classification of Formal Specification Methods.-Part III: Logic
• Propositional Logic
• Predicate Logic
• Temporal Logic
• Part IV: Mathematical Abstractions for Model-based Specifications
• Set Theory and Relations
• Part V: Property-oriented Specifications
• Algebraic Specification
• Larch
• Calculus of Communicating Systems
• Part VI: Model-based Specifications
• Vienna Development Method
• The Z Notation
• The Object-Z Specification Language
• The B-Method.