Modellbildung in der Informatik [Paperback]

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.

Leitlinie dieser Einf?hrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verf?gung stehen, um Informatiksysteme analysieren oder entwerfen zu k?nnen.

Modellierung ist ein durchg?ngiges Thema f?r unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten ?berblick zu typischen Modellen, dieló'