Modellbildung in der Informatik

AvManfred Broy,Ralf Steinbrüggen

Häftad, Tyska, 2013

Del i serien Xpert.press

316 kr

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

Fler format och utgåvor

421 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

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

809 kr

Advanced Model-Based Engineering of Embedded Systems

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Häftad, 2018

542 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

861 kr

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

625 kr

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

625 kr

Total vernetzt

Friedemann Mattern

Inbunden, 2003

697 kr

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

697 kr

Anforderungsmanagement

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

Inbunden, 2003

800 kr

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

558 kr

Notizen zu C++

Peter Thömmes

Inbunden, 2003

800 kr

Software-Produkt-Management

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

Inbunden, 2004

697 kr

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

861 kr

Du kanske också är intresserad av

Modellbildung in der Informatik

Manfred Broy, Ralf Steinbrüggen

Inbunden, 2003

421 kr

Del 62

Proof and System-Reliability

Helmut Schwichtenberg, Ralf Steinbrüggen

Häftad, 2002

542 kr

Proof and System-Reliability

Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen

Inbunden, 2002

1 023 kr

Signerad!

SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor

Annifrid Lilja, Björn Lilja

Kartonnage, 2026

229 kr

-22%

Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

(9)

69 kr89 kr

4 för 3

Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

(17)

99 kr

Nyhet

Del 2

Skjut Gräv Tig

Jens Ganman

Häftad, 2026

229 kr

-22%

Del 3

Lucia är död

Katarina Wennstam

Pocket, 2026

69 kr89 kr

-30%

En dold skönhet

Lucinda Riley

Pocket, 2026

(15)

69 kr99 kr

4 för 3

En flicka som kallas Alice

Kristin Hannah

Pocket, 2025

(38)

99 kr