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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
891 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
Indholdsfortegnelse:
- 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.