Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Modellbildung in Der Informatik
Image d'archives
Modellbildung in der Informatik (Xpert.press) (German Edition)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020167957
Acheter neuf
EUR 39,44
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modellbildung in der Informatik.
Edité par
Berlin, Springer, 2004
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2149816
Acheter D'occasion
EUR 28,74
Frais de port :
EUR 16
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Modellbildung in der Informatik (Xpert.press) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540442929_new
Acheter neuf
EUR 44,84
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modellbildung in der Informatik
Edité par
Springer Berlin Heidelberg Okt 2003, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 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. 268 pp. Deutsch. N° de réf. du vendeur 9783540442929
Acheter neuf
EUR 39,99
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Modellbildung in Der Informatik
Edité par
Springer-Verlag New York Inc, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. hardback/cd-rom edition. 266 pages. German language. 9.37x6.30x0.79 inches. In Stock. N° de réf. du vendeur x-3540442928
Acheter neuf
EUR 60,67
Frais de port :
EUR 14,19
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
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
Edité par
Springer-Verlag Gmbh Auflage: 1 (10. Oktober 2003), 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Ancien ou d'occasion
Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur BN2697
Acheter D'occasion
EUR 49,90
Frais de port :
EUR 29,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Modellbildung in der Informatik (Xpert.press)
Edité par
Springer, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Ancien ou d'occasion
Couverture rigide
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Sehr gut. 266 Seiten; 9783540442929.2 Gewicht in Gramm: 1. N° de réf. du vendeur 1001145
Acheter D'occasion
EUR 25,45
Frais de port :
EUR 61,50
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Modellbildung in der Informatik
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Basiswissen Informatik, System- und EntwicklungskonzeptPraxisorientierte Darstellung f? Ein- und UmsteigerEinleitung: Das Entity-Relationship-Modell.- 0.1 ER-Diagramme.- 0.2 Datenlexika.- 0.3 Uebungen.- 0.4 Wie es weitergeht.- 1 Algebra. N° de réf. du vendeur 4890993
Acheter neuf
EUR 39,99
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modellbildung in der Informatik
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2003, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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. N° de réf. du vendeur 9783540442929
Acheter neuf
EUR 39,99
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Modellbildung in der Informatik
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540442928
ISBN 13 : 9783540442929
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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. N° de réf. du vendeur 9783540442929
Acheter neuf
EUR 39,99
Frais de port :
EUR 62,86
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)