Einleitung: Das Entity-Relationship-Modell.- 0.1 ER-Diagramme.- 0.2 Datenlexika.- 0.3 Übungen.- 0.4 Wie es weitergeht.- 1 Algebraische Modellierung.- 1.1 Signaturen und Axiome.- 1.2 Grundlegende Spezifikationen.- 1.3 Übungen.- 1.4 Wie es weitergeht.- 2 Diagrammatische Modellierung.- 2.1.- 2.2 Struktursicht (Systemstrukturdiagramme).- 2.3 Verhaltenssicht (Zustandsübergangsdiagramme).- 2.4 Zeitverlauf.- 2.5 Interaktionssicht (Sequenzdiagramme).- 2.6 Algorithmen.- 2.7 Partielle Korrektheit, Terminierung und Komplexität.- 2.8 Datensicht (der applikativen Programmierung).- 2.9 Übungen.- 2.10 Wie es weitergeht.- 3 Modellierung und Verifikation.- 3.1 Formeln und Regeln.- 3.2 Variablen, Substitution und Gleichheit.- 3.3 Ein formaler Rahmen des Beweisens.- 3.4 Ein einfacher Deduktionskalkül.- 3.5 Induktive Definitionen und Beweise.- 3.6 Übungen.- 3.7 Wie es weitergeht.- 4 Struktur formaler Sprachen.- 4.1 Interpretation und Übersetzung von Programmen.- 4.2 Endliche Automaten.- 4.3 Reguläre Ausdrücke.- 4.4 Chomsky-Grammatiken.- 4.5 Backus-Naur-Form.- 4.6 Syntaxanalyse.- 4.7 Übungen.- 4.8 Wie es weitergeht.- Abschluss: Requirements Engineering.- 5.1 Die Frühphase einer Systementwicklung.- 5.2 Das Aufgabenspektrum.- 5.3 Klassifizierung der Anforderungen.- 5.4 Anforderungsmodellierung und Systemdesign.- 5.5 Wie es weitergeht.- Einige mathematische Begriffe.- Gesetze der Booleschen Algebra.- Gesetze der Quantoren.- Lösungen zu ER-Diagrammen.- Lösungen zu algebraischen Spezifikationen.- Lösungen zur Verifikation.- Lösungen zu formalen Sprachen.- 253.
