Del i serien Xpert.press

Modellbildung in der Informatik

Inbunden, Tyska, 2003

AvManfred Broy,Ralf Steinbrüggen

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

409 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2003-10-10
Mått155 x 235 x 20 mm
Vikt571 g
FormatInbunden
SpråkTyska
SerieXpert.press
Antal sidor256
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540442929

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Webbprogrammering inom Data och IT
Digital livsstil och datorspel inom Data och IT
Databaser inom Data och IT

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

729 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 889 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 889 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

729 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

709 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

569 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 609 kr

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy - Design Thinking for Software Engineering, Häftad

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Häftad, 2023

2 609 kr

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger - Advanced Model-Based Engineering of Embedded Systems, Inbunden

Advanced Model-Based Engineering of Embedded Systems

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

Inbunden, 2016

1 059 kr

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger - Advanced Model-Based Engineering of Embedded Systems, Häftad

Advanced Model-Based Engineering of Embedded Systems

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

Häftad, 2018

709 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

1 129 kr

Alexander Braun - Chatbots in der Kundenkommunikation, Inbunden

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

819 kr

Gerhard Weiß, Ralf Jakob - Agentenorientierte Softwareentwicklung, Inbunden

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

819 kr

Friedemann Mattern - Total vernetzt, Inbunden

Total vernetzt

Friedemann Mattern

Inbunden, 2003

909 kr

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

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

909 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

1 049 kr

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

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

729 kr

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

Notizen zu C++

Peter Thömmes

Inbunden, 2003

1 049 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

909 kr

Lothar Dietrich, Wolfgang Schirra - IT im Unternehmen, Inbunden

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

1 129 kr

Du kanske också är intresserad av

Manfred Broy, Ralf Steinbrüggen - Modellbildung in der Informatik, Häftad

Modellbildung in der Informatik

Manfred Broy, Ralf Steinbrüggen

Häftad, 2013

409 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

709 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 339 kr

Hitster - Summer Party (Nordic), Övrigt

Hitster - Summer Party (Nordic)

Jumbo

299 kr379 kr

Elle Kennedy - Spelet, Pocket

4 pocket för 3

Del 1

Spelet

Elle Kennedy

Pocket, 2024

129 kr

Alison Espach - Bröllopsgästerna, Pocket

4 pocket för 3

Bröllopsgästerna

Alison Espach

Pocket, 2026

129 kr

Elle Kennedy - Snedsteget, Pocket

4 pocket för 3

Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

129 kr

Freida McFadden - Hembiträdet, Pocket

Del 1

Hembiträdet

Freida McFadden

Pocket, 2025

79 kr129 kr

Sarah Easter Collins - Skärvor av en syster, Pocket

4 pocket för 3

Skärvor av en syster

Sarah Easter Collins

Pocket, 2025

129 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 pocket för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

129 kr