Modellbildung in der Informatik

AvManfred Broy,Ralf Steinbrüggen

Häftad, Tyska, 2013

Del i serien Xpert.press

323 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

429 kr

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

Webbprogrammering inom Data och IT
Informationsteknik: allmänt inom Data och IT
Databaser inom Data och IT

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

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Inbunden, 2001

572 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Inbunden, 2005

2 262 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Häftad, 2005

2 262 kr

Engineering Theories of Software Intensive Systems

Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy

E-bok

2005

2 948 kr

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad, 2012

571 kr

Specification and Development of Interactive Systems

Ketil Stolen, Manfred Broy

E-bok

2012

739 kr

Model-Based Engineering of Collaborative Embedded Systems

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

Inbunden, 2020

554 kr

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein

Häftad, 2021

445 kr

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Inbunden, 2022

2 037 kr

Design Thinking for Software Engineering

Manfred Broy, Walter Brenner, Daniel Mendez, Jennifer Hehn

E-bok

2022

2 599 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

884 kr

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

641 kr

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

641 kr

Total vernetzt

Friedemann Mattern

Inbunden, 2003

715 kr

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

715 kr

Anforderungsmanagement

Gerhard Versteegen, Alexander Heßeler, Colin Hood, Christian Missling, Renate Stücka, Gerhard Versteegen

Inbunden, 2003

821 kr

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

571 kr

Notizen zu C++

Peter Thömmes

Inbunden, 2003

821 kr

Software-Produkt-Management

Hans-Bernd Kittlaus, Christoph Rau, Jürgen Schulz

Inbunden, 2004

715 kr

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

882 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr