Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Logics of specification languages [Texte électronique] / Dines Bjørner, Martin C. Henson, editors
Publication : Berlin : Springer, cop. 2008
Description matérielle : 1 ressource dématérialisée
Collection : Monographs in theoretical computer science
Note(s) : Includes indexes in each chapter. - Includes bibliographical references
"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."--BOOK JACKET
Autre(s) auteur(s) : Bjørner, Dines (1937-....). Fonction indéterminée
Henson, Martin C.. Fonction indéterminée
Sujet(s) : Langages de programmation
Indice(s) Dewey :
005.13 (23e éd.) = Programmation des ordinateurs
Identifiants, prix et caractéristiques : ISBN 9783540741077
Identifiant de la notice : ark:/12148/cb44695570p
Notice n° :
FRBNF44695570
(notice reprise d'un réservoir extérieur)
Table des matières : 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.