Monographs in Theoretical Computer Science. An EATCS Series

Logics of Specification Languages

Editors: Bjorner, Dines, Henson, Martin C. (Eds.)

  • Unique overview of the key current formal specification languages
  • The editors and authors are authorities on these specification languages and their application
see more benefits

Buy this book

eBook $179.00
price for USA (gross)
  • ISBN 978-3-540-74107-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $229.00
price for USA
  • ISBN 978-3-540-74106-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $229.00
price for USA
  • ISBN 978-3-642-09345-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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 proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning.

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages.

Table of contents (11 chapters)

  • An Overview

    Bjørner, Dines (et al.)

    Pages 3-12

  • Abstract State Machines for the Classroom

    Reisig, Wolfgang

    Pages 15-46

  • The event-B Modelling Method: Concepts and Case Studies

    Cansell, Dominique (et al.)

    Pages 47-152

  • A Methodological Guide to the CafeOBJ Logic

    Diaconescu, Răzvan

    Pages 153-240

  • Casl — the Common Algebraic Specification Language

    Mossakowski, Till (et al.)

    Pages 241-298

Buy this book

eBook $179.00
price for USA (gross)
  • ISBN 978-3-540-74107-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $229.00
price for USA
  • ISBN 978-3-540-74106-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $229.00
price for USA
  • ISBN 978-3-642-09345-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics of Specification Languages
Editors
  • Dines Bjorner
  • Martin C. Henson
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-74107-7
DOI
10.1007/978-3-540-74107-7
Hardcover ISBN
978-3-540-74106-0
Softcover ISBN
978-3-642-09345-6
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XXII, 624
Number of Illustrations and Tables
69 b/w illustrations
Topics