 Prof. Dr. H.-J. Buhl |
|
|
|
|
||
|
INSTITUT FÜR
ANGEWANDTE MATHEMATIK
FACHBEREICH
MATHEMATIK
|
||
Prof. Dr. H.-J. Buhl |
|
|
|
|
||
| Inhalt | Seiten | |
| Titel, Inhaltsverzeichnis |
0..NN | 
|
| Ein intuitiver Algorithmenbegriff | 1..5 |
|
| Fallstudien zur Softwarequalität | 6..7 |
|
| Qualitätsanforderungen an Software | 8..10 |
|
| Konstruktive Maßnahmen zur Erreichung von Softwarequalität | 11 |
|
| Datenkapseln und formale Spezifikation - ein Beispiel | 12..32 |
|
| Umgangssprachliche Spezifikation? | 33..34 |
|
| Wahrheitstabellen und Entscheidungstabellen | 35..37 |
|
| Datenstrukturen und unendlich große Datensammlungen | 38..48 |
|
| Redundanzen und Spezifikationen | 49..54 |
|