Verwandte Artikel zu Modellbildung in der Informatik (Xpert.press)
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 39,99
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Modellbildung in der Informatik (Xpert.press)
Beispielbild für diese ISBN
Modellbildung in der Informatik
Verlag:
Springer Berlin Heidelberg, 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 1148565/3
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Modellbildung in der Informatik
Verlag:
Springer Berlin Heidelberg, 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 1148565/202
Anzahl: 5 verfügbar
Foto des Verkäufers
Modellbildung in der Informatik.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 256 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540442929 Sprache: Deutsch Gewicht in Gramm: 550. Artikel-Nr. 2149816
Anzahl: 1 verfügbar
Foto des Verkäufers
Modellbildung in der Informatik
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. 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. Artikel-Nr. 9783540442929
Anzahl: 1 verfügbar
Foto des Verkäufers
Modellbildung in der Informatik
ISBN 10: 3540442928
ISBN 13: 9783540442929
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch. Artikel-Nr. 9783540442929
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Modellbildung in der Informatik (Xpert.press) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540442929_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Modellbildung in der Informatik. (Xpert.Press) [Gebundene Ausgabe] von Manfred Broy (Autor), R. Steinbrüggen Die Informatik befasst sich mit der Verarbeitung, Speicherung, Übertragung und Darstellung von Information unter besonderer Berücksichtigung des Einsatzes digitaler informationsverarbeitender Maschinen. Dabei können Maschinenbeschreibungen selbst wiederum als Informationen aufgefasst werden. Daraus resultiert eine erhebliche Komplexität, die der universellen Mächtigkeit der Informatik als Wissenschaft und Technik der Modellierung entspricht. Modellierung dient in aller Regel zweierlei Zwecken. Zum einen wird ausschnittsweise ein Abbild der realen Welt und eine Aufgabe der Informationsverarbeitung dargestellt. Zum anderen wird eine Vorlage für die Arbeitsweise eines informatischen Systems angegeben. Die Autoren vermitteln praxisrelevante Fertigkeiten und grundsätzliche Einsichten, um Informationssysteme auf ihre Struktur hin analysieren und entwerfen zu können. Leitlinie dieser E
Verlag:
Springer-Verlag Gmbh Auflage: 1 (10. Oktober 2003), 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
Gebraucht
Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: gut. Auflage: 1 (10. Oktober 2003). Die Informatik befasst sich mit der Verarbeitung, Speicherung, Übertragung und Darstellung von Information unter besonderer Berücksichtigung des Einsatzes digitaler informationsverarbeitender Maschinen. Dabei können Maschinenbeschreibungen selbst wiederum als Informationen aufgefasst werden. Daraus resultiert eine erhebliche Komplexität, die der universellen Mächtigkeit der Informatik als Wissenschaft und Technik der Modellierung entspricht. Modellierung dient in aller Regel zweierlei Zwecken. Zum einen wird ausschnittsweise ein Abbild der realen Welt und eine Aufgabe der Informationsverarbeitung dargestellt. Zum anderen wird eine Vorlage für die Arbeitsweise eines informatischen Systems angegeben. Die Autoren vermitteln praxisrelevante Fertigkeiten und grundsätzliche Einsichten, um Informationssysteme auf ihre Struktur hin analysieren und entwerfen zu können. 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. 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. Modellbildung in der Informatik. Xpert.Press Manfred Broy R. Steinbrüggen In deutscher Sprache. 256 pages. 23,8 x 16 x 2 cm. Artikel-Nr. BN2697
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Modellbildung in Der Informatik
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. hardback/cd-rom edition. 266 pages. German language. 9.37x6.30x0.79 inches. In Stock. Artikel-Nr. x-3540442928
Anzahl: 2 verfügbar