Next:
Kontrolleur
Up:
challenger
Previous:
Anwendungsbeispiel
Contents
Softwarebeschreibung - Spezifikation, Entwurf und Implementierung
Subsections
Kontrolleur
Module des Kontrolleur
Challenger
Instanzen
Beweise
Kontrolleur
Problems
Kontrolleurmodule
Col: Drei-Färbung
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Verifiziere-Funktion
Darstellung der Instanz
Darstellung des Beweises
Hamilton
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Clique
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Graceful
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
PCP : Postsches Korrespondenzproblem
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Vertex: Knoten-Überdeckung
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Beispiel
Darstellung des Beweises
TSP : Handelsreisender
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
GTSP : Geometrischer Handelsreisender
Autor
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Knapsack: Packungsproblem
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
SAT : Erfüllbarkeit für 3-KNF
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Implementierungsdetail
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
weitere Module
Statistik
Web.StatistikKonfiguration
HTML
Datenstrukturen
Funktionen
Labeling
benötigte Module
Datenstruktur
Funktionen
Konstruktion
Einsicht
Graph.Viz
Datenstruktur Graphviz
Datenstruktur GVTrans
Die einzelnen Funktionen
Einfaches Beispiel
Beispiel, wenn man Informationen hineinbringen will
Johannes Waldmann 2009-11-17