Correct System Design Recent Insights and Advances

Correct System Design Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Olderog, Ernst-Rüdiger (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Lecture Notes in Computer Science, 1710
Springer eBook Collection.
Subjects:
Computers.
Computer logic.
Programming languages (Electronic computers).
Special purpose computers.
Mathematical logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items