Formal development of reactive systems : case study production cell
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different appr...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
891 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal development of reactive systems, case study production cell, Claus Lewerentz, Thomas Lindner, eds, Berlin, Springer-Verlag, 1995, 1 vol. (XI-394 p.), Lecture notes in computer science, 3-540-58867-1 • Formal Development of Reactive Systems, Texte imprimé, 9783662184691 |
Tabla de Contenidos:
- Task description
- Comparative survey
- CSL
- Esterel
- Lustre
- Signal
- Statecharts
- TLT
- SDL
- Focus
- Spectrum
- KIV
- Tatzelwurm
- HTTDs and HOL
- Raise
- Deductive synthesis
- Symbolic Timing Diagrams
- LCM and MCM
- Modula-3
- TROLL light
- Simulation.