基本説明
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; and more.
Full Description
By a specification language we understand a formal system of syntax, semantics and proof rules. 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.
