Del 0 - 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

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Inbunden

729 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Inbunden

2 849 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Häftad

2 849 kr

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad

729 kr

Model-Based Engineering of Collaborative Embedded Systems

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

Inbunden

709 kr

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein, Wolfgang Bohm

Häftad

569 kr

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Inbunden

2 419 kr

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Häftad

2 419 kr

Advanced Model-Based Engineering of Embedded Systems

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

Inbunden

1 049 kr

Advanced Model-Based Engineering of Embedded Systems

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

Häftad

709 kr

Mer från samma serie

Marketing in der IT-Branche

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

Inbunden

1 119 kr

Chatbots in der Kundenkommunikation

Alexander Braun

Inbunden

809 kr

Agentenorientierte Softwareentwicklung

Gerhard Weiß, Ralf Jakob

Inbunden

809 kr

Total vernetzt

Friedemann Mattern

Inbunden

909 kr

CORBA Komponenten

Bertram Neubauer, Tom Ritter, Frank Stoinski

Inbunden

909 kr

Anforderungsmanagement

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

Inbunden

1 039 kr

Erfolgreiche Software-Lizenzierung

Reimer M. Bürkner

Inbunden

729 kr

Notizen zu C++

Peter Thömmes

Inbunden

1 039 kr

Software-Produkt-Management

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

Inbunden

909 kr

IT im Unternehmen

Lothar Dietrich, Wolfgang Schirra

Inbunden

1 119 kr

Du kanske också är intresserad av

Modellbildung in der Informatik

Manfred Broy, Ralf Steinbrüggen

Häftad

409 kr

Proof and System-Reliability

Helmut Schwichtenberg, Ralf Steinbrüggen

Häftad

709 kr

Proof and System-Reliability

Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen, Ralf Steinbrüggen

Inbunden

1 329 kr

Program Design Calculi

Manfred Broy

Häftad

2 849 kr

Logic of Programming and Calculi of Discrete Design

Manfred Broy

Häftad

729 kr

Model-Driven Development of Reliable Automotive Services

Manfred Broy, Ingolf Krüger, Michael Meisinger

Häftad

729 kr

Mathematical Methods in Program Development

Manfred Broy, Birgit Schieder

Häftad

1 439 kr

Control Flow and Data Flow: Concepts of Distributed Programming

Manfred Broy

Häftad

1 439 kr

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad

729 kr

Constructive Methods in Computing Science

Manfred Broy, Manfred Broy, C. A. Hoare, E. W. Dijkstra, F. L. Bauer, M. Broy

Häftad

1 439 kr