Startseite   |  Site map   |  A-Z artikel   |  Artikel einreichen   |   Kontakt   |  
  


wirtschaft artikel (Interpretation und charakterisierung)

Korrektheit





Unter der Korrektheit eines Programmsystems verstehen wir die Eigenschaft, dass das Programmsystem die der Programmentwicklung zugrunde gelegte Spezifikation erfüllt. Die Korrektheit eines Programmsystems bezieht sich also auf die Übereinstimmung zwischen Spezifikation und Programmtext und ist daher unabhängig von der tatsächlichen Verwendung des Programmsystems.

Besonders kritisch ist das Problem der Korrektheit eines Programms, das in ein komplexes Programmsystem eingebettet werden soll. Ist nämlich p die Wahrscheinlichkeit dafür, dass ein einzelnes Programm korrekt ist, so gilt für die Wahrscheinlichkeit P der Korrektheit eines Programmsystems, das aus n Programmen besteht: P=pn. Wenn n sehr groß ist, muss daher p fast 1 sein, damit P überhaupt wesentlich von Null verschieden ist.

 
 



Datenschutz
Top Themen / Analyse
indicator Die Integrationsfunktion des Europarechts
indicator Mohandas Gandhi-
indicator Der RAF vergleichbare Organisationen
indicator Der Etat 2000
indicator Deutschland, die Wirtschaftsmacht
indicator Kognitive Verhaltenstherapie
indicator DIE KONJUNKTUR
indicator Wurzeln
indicator Wie verändern sich die Unternehmen, die an Fusionen beteiligt sind?
indicator Smith - Wirtschaftsliberalismus




Datenschutz
Zum selben thema
icon Buchführung
icon Kont
icon Arbeitslosigkeit
icon Handel
icon Ökonomie
icon Kosten
icon Rationalisierung
icon Umsatzsteuer
icon Steuern
icon Aktien
icon Kredit
icon Lohn
icon Euro
icon Bildung
icon Tarifrecht
icon Wettbewerb
icon Dividende
icon Vertrieb
icon Verpflichtungen
icon Sicherheit
icon Management
icon Gesellschaften
icon Inventur
icon Bank
icon Vollmachten
icon Marktforschung
icon Umstellung
icon Preis
icon Kaufvertrag
icon Globalisierung
icon Kapitalismus
icon Anleihen
icon Finanz
icon Regierung
icon Börse
icon Verhandlungen
icon Inflation
icon Versicherung
icon Zielgruppen
icon Valuten
icon Karte
icon Förderungen
icon Kalkulation
icon Politik
A-Z wirtschaft artikel:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z #

Copyright © 2008 - : ARTIKEL32 | Alle rechte vorbehalten.
Vervielfältigung im Ganzen oder teilweise das Material auf dieser Website gegen das Urheberrecht und wird bestraft, nach dem Gesetz.
dsolution