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 198 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 198 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
539 kr
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein
432 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 979 kr
Design Thinking for Software Engineering
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy
1 979 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
805 kr
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
539 kr
Mer från samma serie
Marketing in der IT-Branche
Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen
857 kr
Anforderungsmanagement
Gerhard Versteegen, Alexander Heßeler, Colin Hood, Christian Missling, Renate Stücka, Gerhard Versteegen
795 kr
Du kanske också är intresserad av
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Manfred Broy, Stefan Jähnichen
555 kr
Model-Driven Development of Reliable Automotive Services
Manfred Broy, Ingolf Krüger, Michael Meisinger
555 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
2 198 kr