Articles liés à Modellbildung in Der Informatik
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.
Acheter neuf
Afficher cet article
EUR 29,89
EUR 3,44 expédition vers Etats-Unis
Destinations, frais et délais
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 ABLIING23Mar3113020231217
Quantité disponible : Plus de 20 disponibles
Image d'archives
Modellbildung in der Informatik (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10 : 3642622674
ISBN 13 : 9783642622670
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. Leitlinie dieser Einfuehrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfuegung stehen, um Informatiksysteme analysieren oder entwerfen zu koennen. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch praegnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsuebergangs- und Sequenzdiagramme. Inhaerenter 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 Konsistenzpruefung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen uebertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten. Leitlinie dieser EinfAhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur VerfAgung stehen, um Informatiksysteme analysieren oder entwerfen zu kAnnen. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prAgnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, ZustandsAbergangs- und Sequenzdiagramme. InhArenter 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 KonsistenzprAfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen Abertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbei Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642622670
Quantité disponible : 1 disponible(s)
Image d'archives
Modellbildung in der Informatik (Xpert.press) (German Edition)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642622670
Quantité disponible : Plus de 20 disponibles
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 ria9783642622670_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Modellbildung in der Informatik
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 268. N° de réf. du vendeur 26142286823
Quantité disponible : 4 disponible(s)
Image d'archives
Modellbildung in der Informatik
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642622670
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Modellbildung in der Informatik
Edité par
Springer Berlin Heidelberg Okt 2013, 2013
ISBN 10 : 3642622674
ISBN 13 : 9783642622670
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. 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 9783642622670
Quantité disponible : 2 disponible(s)
Image d'archives
Modellbildung in der Informatik
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 268 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 135045176
Quantité disponible : 4 disponible(s)
Image d'archives
Modellbildung in der Informatik
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 266 pages. German language. 9.13x6.06x0.79 inches. In Stock. N° de réf. du vendeur x-3642622674
Quantité disponible : 2 disponible(s)
Image d'archives
Modellbildung in der Informatik
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 268. N° de réf. du vendeur 18142286829
Quantité disponible : 4 disponible(s)