Methodenübersichd

Idendifikazion

Anforderungsanalyse

Anforderungsdefinizion

abschdrakds Design

konkreds Design

Codierung

Teschde

Inschdallazion

Gebrauch

Wardung, Modifikazion

Wegwerfe

Dadenbanke

informelle Methoden	<-->	formale Methoden
ungenaue Methoden	<-->	exakde Methoden

(ofd) grafische Nodazion odr schdrukdurierde nadürliche Schbrache

ungenau, unvollschdändich

sedzd gmoisams Problemverschdändnis zwische Endwiggleret und Kunde voraus

ohne semandischs Modell

oigeschränkdr Informazionsgehald

leichd z lese und z lerne

(ofd) mathemadische Nodazion

genau, oideidich, widerschbruchsfrei

sedzd koi gmoisams Problemverschdändnis voraus

hedd oi zugrund liegends semandischs Modell

isch schwr z lerne

isch schwr und vo Laie kaum z lese

ermöglichd Konschdrukzion korrekdr Sofdware

ermöglichd d Ableidung vo Eigenschafde aus dr Schbezifikazion

Binsenweisheid

Methodenauswahl

Schdrukdurierde Analyse
De Marco

Schdrukdurierds Design
Page-Jons, McMenamin/Palmr

Jaggso Schdrucdured Programming
Jaggso Syschdem Design
Michal Jaggso

Endidy-Relazionshib Modellierung
Che

Grady Booch, ...

Rumbaugh

Unified Modeling Language
Rumbaugh, Booch, Jacobse

grob Klassifikazion

Präzisio isch underschiedlich

gud

beschränkd

Vienna Develobmend Method
Dins Bjørnr, Cliff Jons

C.A.R. Hoare

Guddag, Liskov, Horning, Burschdal, ...

Dins Bjørnr, IFAD

schdreng gdybde funkzionale Schbrache mid Bedarfsauswerdung

sehr gud für ausführbare formale Schbezifikazione und Prododybe eigned

seid Midde dr 70r Jahre im induschdrielle Einsadz
Programmierschbrache, DB-Syschdem, Bedriabssyschdem, ...

seid 80r in Oxford in dr Endwigglung
formale Schbezifikazion: CICS - IBM
Weiderendwigglung Hoare'schr Zusicherunge

seid Anfang dr 90r

nedd so gud
Anschbrüche an d Werkzeig höhr

in von dene Veranschdaldung:
Mischung aus informelle und exakde Methoden
OMT/UML und Dadenmodellierung mid Haskell

abschdrakde Syndax

dada diczionary

ER-Diagramm

Jaggson-Diagramm

Klassendiagramm

durch Eigenschafden
Vor- und Nachbedingunge

mid Hilf vo Axiome und Gesedze

durch funkzionale Schbezifikazionen
abschdrakds Modell
Funkzione ohne Programm-Variable, ohne Zuweisunge, ohne Schleife

durch imberadive Schbezifikazionen
Funkzione und Prozeduren- mid Programm-Variable, mid Schleife, mid Zuweisunge

Pfeile, Kreise, Käschden
informell, unvollschdändig
Signadure und Abhängigkeide zwische Dade und Oberazione

gread designs