عنوان

Logics of specification languages

English

Logics of specification languages

Berlin

Springer

2008

XXI, 623 p. : illus.

Monographs in theoretical computer science

Includes indexes in each chapter

Includes bibliographical references

Dines Bjrner, Martin C. Henson, editors

1

An Overview / Dines Bjrner 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 Mery -- A methodological guide to the CafeOBJ logic / RHazvan 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 Bjrner and Martin C. Henson

Semantics ، Programming languages )Electronic computers(

، Logic, Symbolic and mathematical

TI

AU Bjrner, D.)Dines( 1937-

AU Henson, Martin C

SE