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
2 178 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 178 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
534 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein
429 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 961 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 961 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
797 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
534 kr
Mer från samma serie
Marketing in der IT-Branche
Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen
849 kr
Anforderungsmanagement
Gerhard Versteegen, Alexander Heßeler, Colin Hood, Christian Missling, Renate Stücka, Gerhard Versteegen
788 kr
Du kanske också är intresserad av
Model-Driven Development of Reliable Automotive Services
Manfred Broy, Ingolf Krüger, Michael Meisinger
550 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 178 kr