Advertisement

Semantik, Verifikation und Test

  • Hans-Jürgen Appelrath
  • Jochen Ludewig

Zusammenfassung

Eines der zentralen Probleme der Informatik besteht darin sicherzustellen, daß ein Programm genau das bewirkt, was beabsichtigt war. Allgemein ist dieses Problem algorithmisch nicht lösbar; bis heute ist auch kein Verfahren bekannt, um Software realistischer Komplexität garantiert fehlerfrei zu konstruieren.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Stuttgart · Leipzig 2000

Authors and Affiliations

  • Hans-Jürgen Appelrath
    • 1
  • Jochen Ludewig
    • 2
  1. 1.Universität OldenburgDeutschland
  2. 2.Universität StuttgartDeutschland

Personalised recommendations