"Software Engineering 002.ps.gz" - читать интересную книгу автора

Vorlesungsskripte

INFORMATIK

Software Engineering Prof. Dr. J"urgen Ebert

Judith Joch Christoph Albrecht Bernhard St"uber

8. Dezember 1994

Inhaltsverzeichnis I GRUNDLAGEN 3 1 Grundbegriffe 5

1.1 Historie : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.2 Beteiligte : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 1.3 Produktion : : : : : : : : : : : : : : : : : : : : : : : : : : : 7

2 Phasenmodell 9

2.1 Modell"ubersicht : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.2 T"atigkeiten : : : : : : : : : : : : : : : : : : : : : : : : : : : 11

3 Beurteilungskriterien 15

3.1 Qualit"at : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 3.2 Kosten und Zeit : : : : : : : : : : : : : : : : : : : : : : : : 16

4 Prinzipien 19

4.1 Hauptprinzipien : : : : : : : : : : : : : : : : : : : : : : : : : 19

II Architektur 21 5 Zerlegung 23

5.1 Beziehungen : : : : : : : : : : : : : : : : : : : : : : : : : : : 23 5.2 Module : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 5.3 Abstrakte Daten : : : : : : : : : : : : : : : : : : : : : : : : 28

6 Architekturbeschreibung 31

6.1 Signaturen : : : : : : : : : : : : : : : : : : : : : : : : : : : : 31 6.2 Umbenennungen : : : : : : : : : : : : : : : : : : : : : : : : 33 6.3 Einschr"ankung : : : : : : : : : : : : : : : : : : : : : : : : : 34 6.4 Sichtbarkeit : : : : : : : : : : : : : : : : : : : : : : : : : : : 35 6.5 Parameterisierung : : : : : : : : : : : : : : : : : : : : : : : 37

1

2 INHALTSVERZEICHNIS III Spezifikation 39 7 Algebraische Spezifikation 41