Skip to main content

Correct System Design

Recent Insights and Advances

  • Book
  • © 1999

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1710)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

Computers are gaining more and more control 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 behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.

Similar content being viewed by others

Keywords

Table of contents (17 chapters)

  1. A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development

  2. Real-Time Constraints Through the ProCoS Layers

  3. Monotonicity in Calculational Proofs

  4. Programming

  5. Automation

  6. Compilation

  7. Application

Editors and Affiliations

  • Fachbereich Informatik, Universität Oldenburg, Oldenburg, Germany

    Ernst-Rüdiger Olderog

  • Fachbereich Informatik, Universität Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us