Logics of Specification Languages

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bjørner, Dines (Editor ), Henson, Martin C. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Monographs in Theoretical Computer Science. An EATCS Series,
Temas:
Machine theory.
Software engineering.
Computer science.
Formal Languages and Automata Theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Preludium
  • An Overview
  • The Languages
  • Abstract State Machines for the Classroom
  • The event-B Modelling Method: Concepts and Case Studies
  • A Methodological Guide to the CafeOBJ Logic
  • Casl - the Common Algebraic Specification Language
  • Duration Calculus
  • The Logic of the RAISE Specification Language
  • The Specification Language TLA+
  • The Typed Logic of Partial Functions and the Vienna Development Method
  • Z Logic and Its Applications
  • Postludium
  • Reviews.

Ejemplares similares