Methodenübersicht

Identifikation

Anforderungsanalyse

Anforderungsdefinition

abstraktes Design

konkretes Design

Codierung

Testen

Installation

Gebrauch

Wartung, Modifikation

Wegwerfen

Datenbanken

informelle Methoden	<-->	formale Methoden
ungenaue Methoden	<-->	exakte Methoden

(oft) grafische Notation oder strukturierte natürliche Sprache

ungenau, unvollständig

setzt gemeinsames Problemverständnis zwischen Entwicklern und Kunden voraus

ohne semantisches Modell

eingeschränkter Informationsgehalt

leicht zu lesen und zu lernen

(oft) mathematische Notation

genau, eindeutig, widerspruchsfrei

setzt kein gemeinsames Problemverständnis voraus

hat ein zugrunde liegendes semantisches Modell

ist schwer zu lernen

ist schwer und von Laien kaum zu lesen

ermöglicht Konstruktion korrekter Software

ermöglicht die Ableitung von Eigenschaften aus der Spezifikation

Binsenweisheit

Methodenauswahl

Strukturierte Analyse
De Marco

Strukturiertes Design
Page-Jones, McMenamin/Palmer

Jackson Structured Programming
Jackson System Design
Michael Jackson

Entity-Relationship Modellierung
Chen

Grady Booch, ...

Rumbaugh

Unified Modeling Language
Rumbaugh, Booch, Jacobsen

grobe Klassifikation

Präzision ist unterschiedlich

gut

beschränkt

Vienna Development Method
Dines Bjørner, Cliff Jones

C.A.R. Hoare

Guttag, Liskov, Horning, Burstal, ...

Dines Bjørner, IFAD

streng getypte funktionale Sprache mit Bedarfsauswertung

sehr gut für ausführbare formale Spezifikationen und Prototypen geeignet

seit Mitte der 70er Jahre im industriellen Einsatz
Programmiersprachen, DB-Systeme, Betriebssysteme, ...

seit 80er in Oxford in der Entwicklung
formale Spezifikation: CICS - IBM
Weiterentwicklung Hoare'scher Zusicherungen

seit Anfang der 90er

nicht so gut
Ansprüche an die Werkzeuge höher

in dieser Veranstaltung:
Mischung aus informellen und exakten Methoden
OMT/UML und Datenmodellierung mit Haskell

abstrakte Syntax

data dictionary

ER-Diagramme

Jackson-Diagramme

Klassendiagramme

durch Eigenschaften
Vor- und Nachbedingungen

mit Hilfe von Axiomen und Gesetzen

durch funktionale Spezifikationen
abstraktes Modell
Funktionen ohne Programm-Variablen, ohne Zuweisungen, ohne Schleifen

durch imperative Spezifikationen
Funktionen und Prozeduren- mit Programm-Variablen, mit Schleifen, mit Zuweisungen

Pfeile, Kreise, Kästen
informell, unvollständig
Signaturen und Abhängigkeiten zwischen Daten und Operationen

great designs