Correct System Design Recent Insights and Advances /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Olderog, Ernst-Rüdiger (Editor, http://id.loc.gov/vocabulary/relators/edt), Steffen, Bernhard (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Computer Science, 1710
• Subjects: Computers.; Computer logic.; Programming languages (Electronic computers).; Special purpose computers.; Mathematical logic.; Artificial intelligence.; Theory of Computation.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.; Mathematical Logic and Formal Languages.; Artificial Intelligence.

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...

Table of Contents:

• 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.