Research Catalog

Logics of specification languages

Title
Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
Publication
Berlin : Springer, ©2008.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.7 .L65 2008Off-site

Details

Additional Authors
  • Bjørner, D. (Dines), 1937-
  • Henson, Martin C.
Description
XXI, 623 pages : illustrations; 25 cm
Summary
"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. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages."--Jacket
Series Statement
Monographs in theoretical computer science
Uniform Title
Monographs in theoretical computer science
Subject
  • Programming languages (Electronic computers) > Semantics
  • Logic, Symbolic and mathematical
  • Formale Methode
  • Logik
  • Spezifikationssprache
Genre/Form
Aufsatzsammlung.
Note
  • Includes indexes in each chapter.
Bibliography (note)
  • Includes bibliographical references.
Contents
An Overview / Dines Bjørner and Martin C. Henson -- Abstract State Machines for the classroom / Wolfgang Reisig -- The event-B modelling method: concepts and case studies / Dominique Cansell and Dominique Méry -- A methodological guide to the CafeOBJ logic / Răzvan Diaconescu -- CASL, the Common Algebraic Specification Language / T. Mossakowski, A. Haxthausen, D. Sannella and A. Tarlecki -- Duration calculus / Michael R. Hansen -- The logic of the RAISE specification language / Chris George and Anne E. Haxthausen -- The specification language TLA+ / Stephan Merz -- The typoed logic of partial functions and the Vienna development method / John S. Fitzgerald -- Z logic and its applications / M. C. Henson, M. Deutsch and S. Reeves -- Reviews / Dines Bjørner and Martin C. Henson.
ISBN
  • 3540741062
  • 9783540741060
  • 9783540741077
  • 3540741070
LCCN
  • 2007936401
  • 9783540741060
OCLC
  • ocn175285089
  • 175285089
  • SCSB-9162800
Owning Institutions
Princeton University Library