↓ Skip to main content

Correct System Design

Overview of attention for book
Cover of 'Correct System Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Theories of programming: Top-Down and Bottom­up and Neeting in the Middle
  3. Altmetric Badge
    Chapter 2 A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development
  4. Altmetric Badge
    Chapter 3 Real-Time Constraints Through the ProCoS Layers
  5. Altmetric Badge
    Chapter 4 Monotonicity in Calculational Proofs
  6. Altmetric Badge
    Chapter 5 The Alma Project, or How First-Order Logic Can Help us in Imperative Programming
  7. Altmetric Badge
    Chapter 6 Type and Effect Systems
  8. Altmetric Badge
    Chapter 7 Proving Theorems About Java-Like Byte Code
  9. Altmetric Badge
    Chapter 8 Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
  10. Altmetric Badge
    Chapter 9 On the Existence of Network Invariants for Verifying Parameterized Systems
  11. Altmetric Badge
    Chapter 10 Verification of Compilers
  12. Altmetric Badge
    Chapter 11 Translation Validation: From S IGNAL to C
  13. Altmetric Badge
    Chapter 12 Compilation and Synthesis for Real-Time Embedded Controllers
  14. Altmetric Badge
    Chapter 13 Optimization Under the Perspective of Soundness, Completeness, and Reusability
  15. Altmetric Badge
    Chapter 14 Verification of Automotive Control Units
  16. Altmetric Badge
    Chapter 15 Correct Real-Time Software for Programmable Logic Controllers
  17. Altmetric Badge
    Chapter 16 Formal Methods for the International Space Station ISS
  18. Altmetric Badge
    Chapter 17 META Frame in Practice: Design of Intelligent Network Services
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 patent
1 Wikipedia page


3 Dimensions

Readers on

3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Correct System Design
Published by
Springer, Berlin, Heidelberg, June 2003
DOI 10.1007/3-540-48092-7
978-3-54-066624-0, 978-3-54-048092-1

Ernst-Rüdiger Olderog, Bernhard Steffen

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 3 100%
Readers by discipline Count As %
Unknown 3 100%