Correct system design : recent insights and advances
Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1710 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Correct system design, recent insights and advances, Bernhard Steffen, Ernst Rüdiger Olderog (eds.), 1999, New York, Springer, 1 vol. (XIV-415 p.), Lecture notes in computer science, 3-540-66624-9 • Correct System Design, Texte imprimé, 9783662172650 |
Inhaltsangabe:
- Methodology
- Theories of programming: Top-Down and Bottom up and Neeting in the Middle
- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development
- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development
- Real-Time Constraints Through the ProCoS Layers
- Real-Time Constraints Through the ProCoS Layers
- Monotonicity in Calculational Proofs
- Monotonicity in Calculational Proofs
- Programming
- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming
- Type and Effect Systems
- Automation
- Proving Theorems About Java-Like Byte Code
- Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
- On the Existence of Network Invariants for Verifying Parameterized Systems
- Compilation
- Verification of Compilers
- Translation Validation: From SIGNAL to C
- Compilation and Synthesis for Real-Time Embedded Controllers
- Optimization Under the Perspective of Soundness, Completeness, and Reusability
- Application
- Verification of Automotive Control Units
- Correct Real-Time Software for Programmable Logic Controllers
- Formal Methods for the International Space Station ISS
- METAFrame in Practice: Design of Intelligent Network Services.