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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Olderog, Ernst-Rüdiger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Steffen, Bernhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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 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.