Modellbildung in der Informatik

AvManfred Broy,Ralf Steinbrüggen

Inbunden, Tyska, 2003

Del i serien Xpert.press

421 kr

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

Fler format och utgåvor

317 kr

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

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

561 kr

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

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad, 2012

561 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

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

628 kr

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

628 kr

Total vernetzt

Friedemann Mattern

Inbunden, 2003

701 kr

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

701 kr

Anforderungsmanagement

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

Inbunden, 2003

804 kr

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

561 kr

Notizen zu C++

Peter Thömmes

Inbunden, 2003

804 kr

Software-Produkt-Management

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

Inbunden, 2004

701 kr

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

866 kr

Du kanske också är intresserad av

Modellbildung in der Informatik

Manfred Broy, Ralf Steinbrüggen

Häftad, 2013

317 kr

Del 62

Proof and System-Reliability

Helmut Schwichtenberg, Ralf Steinbrüggen

Häftad, 2002

545 kr

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%

Del 3

Lucia är död

Katarina Wennstam

Pocket, 2026

69 kr89 kr

4 för 3

Del 7

Ett orimligt straff

Carin Hjulström

Pocket, 2026

99 kr

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(45)

99 kr

-30%

En dold skönhet

Lucinda Riley

Pocket, 2026

(15)

69 kr99 kr

4 för 3

Del 2

Skördebarn

Hans Rosenfeldt

Pocket, 2026

99 kr

4 för 3

Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

(17)

99 kr