Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Modellbildung in der Informatik

AvManfred Broy,Ralf Steinbrüggen

Häftad, Tyska, 2013

Del i serien Xpert.press

320 kr

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

Fler format och utgåvor

425 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

Manfred Broy, Ketil Stølen - Specification and Development of Interactive Systems, Inbunden

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Inbunden, 2001

565 kr

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Inbunden

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Inbunden, 2005

2 239 kr

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Häftad

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Häftad, 2005

2 239 kr

Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy - Engineering Theories of Software Intensive Systems, E-bok

Engineering Theories of Software Intensive Systems

Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy

E-bok

2005

2 822 kr

Manfred Broy, Ketil Stølen - Specification and Development of Interactive Systems, Häftad

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad, 2012

565 kr

Ketil Stolen, Manfred Broy - Specification and Development of Interactive Systems, E-bok

Specification and Development of Interactive Systems

Ketil Stolen, Manfred Broy

E-bok

2012

734 kr

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - Model-Based Engineering of Collaborative Embedded Systems, Inbunden

Model-Based Engineering of Collaborative Embedded Systems

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

Inbunden, 2020

549 kr

Wolfgang Böhm, Manfred Broy, Cornel Klein - Model-Based Engineering of Collaborative Embedded Systems, Häftad

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein

Häftad, 2021

440 kr

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy - Design Thinking for Software Engineering, Inbunden

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Inbunden, 2022

2 016 kr

Manfred Broy, Walter Brenner, Daniel Mendez, Jennifer Hehn - Design Thinking for Software Engineering, E-bok

Design Thinking for Software Engineering

Manfred Broy, Walter Brenner, Daniel Mendez, Jennifer Hehn

E-bok

2022

2 508 kr

Mer från samma serie

Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen - Marketing in der IT-Branche, Inbunden

Marketing in der IT-Branche

Andreas Esslinger, Katja Häußer, Grace Pampus, Gerhard Versteegen, Gerhard Versteegen

Inbunden, 2003

874 kr

Alexander Braun - Chatbots in der Kundenkommunikation, Inbunden

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

634 kr

Gerhard Weiß, Ralf Jakob - Agentenorientierte Softwareentwicklung, Inbunden

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

634 kr

Friedemann Mattern - Total vernetzt, Inbunden

Total vernetzt

Friedemann Mattern

Inbunden, 2003

707 kr

Bertram Neubauer, Tom Ritter, Frank Stoinski - CORBA Komponenten, Inbunden

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

706 kr

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

Anforderungsmanagement

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

Inbunden, 2003

810 kr

Reimer M. Bürkner - Erfolgreiche Software-Lizenzierung, Inbunden

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

566 kr

Peter Thömmes - Notizen zu C++, Inbunden

Notizen zu C++

Peter Thömmes

Inbunden, 2003

810 kr

Hans-Bernd Kittlaus, Christoph Rau, Jürgen Schulz - Software-Produkt-Management, Inbunden

Software-Produkt-Management

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

Inbunden, 2004

706 kr

Lothar Dietrich, Wolfgang Schirra - IT im Unternehmen, Inbunden

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

874 kr

Du kanske också är intresserad av

Manfred Broy, Ralf Steinbrüggen - Modellbildung in der Informatik, Inbunden

Modellbildung in der Informatik

Manfred Broy, Ralf Steinbrüggen

Inbunden, 2003

425 kr

Ralf Steinbruggen, Manfred Broy - Modellbildung in der Informatik, E-bok

Modellbildung in der Informatik

Ralf Steinbruggen, Manfred Broy

E-bok

2013

236 kr

Helmut Schwichtenberg, Ralf Steinbrüggen - Proof and System-Reliability, Häftad

Del 62

Proof and System-Reliability

Helmut Schwichtenberg, Ralf Steinbrüggen

Häftad, 2002

549 kr

Ralf Steinbruggen, Helmut Schwichtenberg - Proof and System-Reliability, E-bok

Proof and System-Reliability

Ralf Steinbruggen, Helmut Schwichtenberg

E-bok

2012

712 kr

Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen - Proof and System-Reliability, Inbunden

Proof and System-Reliability

Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen

Inbunden, 2002

1 037 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(75)

99 kr

Maria Maunsbach - En magisk man, Pocket

-22%

En magisk man

Maria Maunsbach

Pocket, 2026

69 kr89 kr

Clare Leslie Hall - När jorden brister, Pocket

4 för 3

När jorden brister

Clare Leslie Hall

Pocket, 2026

(34)

99 kr

Carin Hjulström - Fallhöjd, Inbunden

-20%

Del 1

Fallhöjd

Carin Hjulström

Inbunden, 2026

(5)

199 kr249 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(11)

209 kr259 kr