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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
Έκδοση: | 1st ed. 1999. |
Σειρά: | Lecture Notes in Computer Science,
1710 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Methodology
- Theories of programming: Top-Down and Bottomup 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.