Unsere Literatur zum Schlagwort Verifikation

Eine schlagwort­basierte Auswahl unserer Fachbücher

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen (Forschungsarbeit)

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren…

Informatik Nichtkooperative Spiele Optimierung Spieltheorie Verifikation Vertrag Vertragswidriges Verhalten
Refinements in HOLCF: Implementation of Interactive Systems (Forschungsarbeit)

Refinements in HOLCF: Implementation of Interactive Systems

Forschungsergebnisse zur Informatik

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer…

Informatik Verifikation
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die…

Informatik Programmierung Qualitätssicherung Software Sprachunabhängiges Verifikationsystem
Spieltheoretische Untersuchung von Problemen der Datenverifikation (Forschungsarbeit)

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Forschungsergebnisse zur Informatik

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten und berichtet Daten, die dieses legale Verhalten bestätigen sollen.…

Datenverifikation EDV Informatik Nash Spieltheorie Statistische Fehler
Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

Implementierung Informatik Sprache Verifikation

Literatur: Verifikation / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač