Modellbildung in der Informatik

Inbunden, Tyska, 2003

Av Manfred Broy, Ralf Steinbrüggen

549 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

419 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2003-10-10
Mått155 x 235 x 20 mm
Vikt571 g
FormatInbunden
SpråkTyska
SerieXpert.press
Antal sidor256
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540442929

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Informationsteknik: allmänt inom Data och it
Webbprogrammering inom Data och it
Systemvetenskap och AI inom Data och it
Hårdvara inom Data och it
Digital livsstil och datorspel inom Data och it
Nätverk och kommunikation inom Data och it
Databaser inom Data och it

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.

Mer från samma författare

Specification and Development of Interactive Systems

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

729 kr

Engineering Theories of Software Intensive Systems

Del 195

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

2 869 kr

Engineering Theories of Software Intensive Systems

Del 195

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

2 869 kr

Specification and Development of Interactive Systems

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

729 kr

Model-Based Engineering of Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, Wolfgang Bohm, Sebastian Schrock

709 kr

Model-Based Engineering of Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein, Wolfgang Bohm

569 kr

Design Thinking for Software Engineering

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

2 439 kr

Design Thinking for Software Engineering

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

2 439 kr

Advanced Model-Based Engineering of Embedded Systems

Advanced Model-Based Engineering of Embedded Systems

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

1 059 kr

Advanced Model-Based Engineering of Embedded Systems

Advanced Model-Based Engineering of Embedded Systems

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, Harald Honninger

709 kr

Du kanske också är intresserad av