Logics of specification languages /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer,
c2008.
|
| Series: | Monographs in theoretical computer science
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents only |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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æazvan 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.