Specification of Software Systems

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Alagar, V.S (Autor), Periyasamy, K. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2011.
Edición:2nd ed. 2011.
Colección:Texts in Computer Science,
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares