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

Påfyllt med fler pocketböcker – 4 för 3 →

Modellbildung in der Informatik

AvManfred Broy,Ralf Steinbrüggen

Häftad, Tyska, 2013

Del i serien Xpert.press

319 kr

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

Fler format och utgåvor

423 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

563 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 224 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 224 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

561 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

547 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

439 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 010 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 599 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

870 kr

Alexander Braun - Chatbots in der Kundenkommunikation, Inbunden

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden, 2003

631 kr

Gerhard Weiß, Ralf Jakob - Agentenorientierte Softwareentwicklung, Inbunden

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden, 2004

631 kr

Friedemann Mattern - Total vernetzt, Inbunden

Total vernetzt

Friedemann Mattern

Inbunden, 2003

704 kr

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

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden, 2004

704 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

808 kr

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

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden, 2003

564 kr

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

Notizen zu C++

Peter Thömmes

Inbunden, 2003

808 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

704 kr

Lothar Dietrich, Wolfgang Schirra - IT im Unternehmen, Inbunden

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden, 2004

870 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

423 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

545 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 030 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Viveca Sten - Fördrivaren, Inbunden

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

269 kr

Martin Kragh - Det fallna imperiet : Ryssland och väst under Vladimir Putin, Inbunden

-43%

Det fallna imperiet : Ryssland och väst under Vladimir Putin

Martin Kragh

Inbunden, 2023

(8)

139 kr245 kr

Martin Kragh - Historiens återkomst : Europa och världsordningens sammanbrott, Inbunden

-15%

Historiens återkomst : Europa och världsordningens sammanbrott

Martin Kragh

Inbunden, 2025

(32)

219 kr259 kr

Marcus Frank - Mackans kost : goda och enkla recept för veckans alla dagar, Inbunden

Mackans kost : goda och enkla recept för veckans alla dagar

Marcus Frank

Inbunden, 2025

(43)

259 kr