Modellbildung in der Informatik
421 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
- Utgivningsdatum:2003-10-10
- Mått:155 x 235 x 20 mm
- Vikt:571 g
- Format:Inbunden
- Språk:Tyska
- Serie:Xpert.press
- Antal sidor:256
- Upplaga:2004
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540442929
Utforska kategorier
Innehållsförteckning
- 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
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Inbunden, 2005
2 223 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Häftad, 2005
2 223 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
Inbunden, 2020
545 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein
Häftad, 2021
437 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
Inbunden, 2022
2 001 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
Häftad, 2023
2 001 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
Inbunden, 2016
814 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
Häftad, 2018
545 kr
Mer från samma serie
Marketing in der IT-Branche
Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen
Inbunden, 2003
866 kr
Anforderungsmanagement
Gerhard Versteegen, Alexander Heßeler, Colin Hood, Christian Missling, Renate Stücka, Gerhard Versteegen
Inbunden, 2003
804 kr
Du kanske också är intresserad av
Proof and System-Reliability
Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen
Inbunden, 2002
1 029 kr
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
- -22%
- 4 för 3
- 4 för 3
Brevbäraren i Lizzanello
Francesca Giannone
Pocket, 2026
99 kr
- -30%
- 4 för 3
- 4 för 3