Specification of Software Systems

• Κύριοι συγγραφείς: Alagar, V.S (Συγγραφέας), Periyasamy, K. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2011.
• Έκδοση: 2nd Edition.
• Σειρά: Texts in Computer Science,
• Θέματα: 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...

Πίνακας περιεχομένων:

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