Fler format och utgåvor
Produktinformation
- Utgivningsdatum:2013-10-03
- Mått:155 x 235 x 15 mm
- Vikt:411 g
- Format:Häftad
- Språk:Tyska
- Serie:Xpert.press
- Antal sidor:256
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783642622670
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
2 174 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 174 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
533 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein
428 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 957 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 957 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
796 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
533 kr
Mer från samma serie
Marketing in der IT-Branche
Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen
848 kr
Anforderungsmanagement
Gerhard Versteegen, Alexander Heßeler, Colin Hood, Christian Missling, Renate Stücka, Gerhard Versteegen
787 kr
Du kanske också är intresserad av
Model-Driven Development of Reliable Automotive Services
Manfred Broy, Ingolf Krüger, Michael Meisinger
549 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 174 kr