Custom cover image
Custom cover image

Modellierung : Grundlagen und formale Methoden ; [für Bachelor geeignet] / Uwe Kastens; Hans Kleine Büning

By: Contributor(s): Resource type: Ressourcentyp: BuchBookPublisher number: 553/41537Language: German Publisher: München : Hanser, 2008Edition: 2., überarb. und erw. AuflDescription: 293 S. : graph. DarstISBN:
  • 9783446415379
Subject(s): Genre/Form: Additional physical formats: Digitalisierte Ausg.: Modellierung. 2., überarbeitete und erweiterte Auflage. München : Hanser Verlag, 2008. Online-Ressource (293 S.) | Erscheint auch als: Modellierung. Online-Ausgabe 2., überarbeitete und erweiterte Auflage. München : Hanser Verlag, 2008. Online-Ressource (293 S.) | Erscheint auch als: Modellierung. Druck-Ausgabe 3., überarb. Aufl. München : Hanser, 2014. 293 S.DDC classification:
  • 004.21
  • 004
RVK: RVK: ST 230 | ST 120 | ST 130Summary: Die Modellierung gehört zu den Kernaufgaben der Informatik. Es geht hierbei um die Erstellung einer formalen Beschreibung für Aufgaben und Strukturen, die anschließend in einer sog. Implementierung in ein Computer-Modell umgesetzt wird. Bücher über Modellierung sind in neuerer Zeit hier nicht rezensiert worden (zuletzt: W. Krabs: ID 23/97; "Fachliche Modellierung von Informationssystemen", ID 26/93). Das vorliegende Buch bietet einen Zugang auf aktuellem Stand für Bachelor-Studiengänge der Informatik und Wirtschaftsinformatik. Es basiert auf einer Einführungsvorlesung an der Universität Paderborn. Gegenüber der 1. Auflage (hier nicht besprochen) überarbeitet und erweitert um Abschnitte zu UML und XML. Erläutert werden grundlegende Modelle und Kalküle zur Modellierung. Gezeigt wird an Beispielen, dass durch den Einsatz aufgabenspezifischer Modelle eine wesentliche Verkürzung von Softwareentwicklungszeiten erreicht werden kann. Gut berücksichtigt werden auch Techniken für den exakten Beweis von Eigenschaften von Modellen, die mit Methoden des Buches entwickelt wurden. Übungsaufgaben zu jedem Kapitel. (3)Call number: Grundsignatur: 2005 A 10975(2)PPN: PPN: 566025493
Holdings
Item type Home library Collection Shelving location Call number Status Barcode
Lehrbuchsammlung Bibliothek Campus Süd inf 3.14 Lehrbuchsammlung 2005 A 10975(2) Available 49126984090
Institutsbestand IRS 4479 Not for loan
Total holds: 0

Früher mit der Nummer 9783446404601

KIT – The University in the Helmholtz Association                         Home | Legals | Privacy policy | KIT