Leitlinie dieser Einf�hrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verf�gung stehen, um Informatiksysteme analysieren oder entwerfen zu k�nnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pr�gnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustands�bergangs- und Sequenzdiagramme. Inh�renter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzpr�fung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen �bertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.

Von der hinteren Coverseite

Modellierung ist ein durchg�ngiges Thema f�r unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten �berblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verst�ndnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt.

Die vorliegende Einf�hrung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch �bungsaufgaben (mit L�sungsvorschl�gen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Widerrufsbelehrung

Versandbedingungen

Orders usually dispatched within two working days.

Versandkosten von Vereinigtes K�nigreich nach Deutschland

Versandkosten von Vereinigtes K�nigreich nach Deutschland
Bestellmenge	7 bis 21�Werktage	2 bis 5�Werktage
Erster Artikel	EUR 11.52	EUR 23.03

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.