Sie sind hier
E-Book

Modellierung

Grundlagen und formale Methoden

AutorHans Kleine Büning, Uwe Kastens
VerlagCarl Hanser Fachbuchverlag
Erscheinungsjahr2018
Seitenanzahl308 Seiten
ISBN9783446455399
FormatPDF
KopierschutzWasserzeichen
GerätePC/MAC/eReader/Tablet
Preis33,99 EUR
Systematische Darstellung von Modellierungstechniken und -kalkülen
Das Modellieren ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert werden.
Als Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik müssen Sie die Grundlagen der Modellierung beherrschen. Als Ausdrucksmittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Sie sind spezifisch für unterschiedliche Arten von Problemen und Aufgaben. In diesem Buch lernen Sie anhand von vielen praktischen Beispielen, die grundlegenden Methoden und Kalküle zur Modellierung anzuwenden.
Dieses Buch, das auch Abschnitte zu UML und XML enthält, vermittelt den Lehrstoff für Einführungsvorlesungen zur Modellierung und eignet sich für die Bachelor-Studiengänge der Informatik und verwandter Fächer.
AUS DEM INHALT //
Modellierung mit Wertebereichen // Terme und Algebren // Logik // Modellierung mit Graphen // Modellierung von Strukturen // Modellierung von Abläufen // Fallstudien

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehrten Informatik an der Universität Paderborn und hielten dort im Wechsel die Modellierungsvorlesung.

Kaufen Sie hier:

Horizontale Tabs

Blick ins Buch

Weitere E-Books zum Thema: Informatik - Algorithmen - Softwaresysteme

Softwaretechnik

E-Book Softwaretechnik
Format: PDF

Software-Projekte geraten oft in Schwierigkeiten: Zeit und Budget werden überschritten; das Projekt tritt auf der Stelle; im schlimmsten Fall wird es ohne Ergebnis abgebrochen. Manche…

Softwaretechnik

E-Book Softwaretechnik
Format: PDF

Software-Projekte geraten oft in Schwierigkeiten: Zeit und Budget werden überschritten; das Projekt tritt auf der Stelle; im schlimmsten Fall wird es ohne Ergebnis abgebrochen. Manche…

Softwaretechnik

E-Book Softwaretechnik
Format: PDF

Software-Projekte geraten oft in Schwierigkeiten: Zeit und Budget werden überschritten; das Projekt tritt auf der Stelle; im schlimmsten Fall wird es ohne Ergebnis abgebrochen. Manche…

Software Engineering

E-Book Software Engineering
Architektur-Design und Prozessorientierung Format: PDF

Das Lehrbuch behandelt alle Aspekte der Software-Entwicklung, besonders aber Methoden und Richtlinien zur Herstellung großer und qualitativ hochwertiger Softwareprodukte. Es vermittelt das zur…

Software Engineering

E-Book Software Engineering
Architektur-Design und Prozessorientierung Format: PDF

Das Lehrbuch behandelt alle Aspekte der Software-Entwicklung, besonders aber Methoden und Richtlinien zur Herstellung großer und qualitativ hochwertiger Softwareprodukte. Es vermittelt das zur…

Weitere Zeitschriften

AUTOCAD Magazin

AUTOCAD Magazin

Die herstellerunabhängige Fachzeitschrift wendet sich an alle Anwender und Entscheider, die mit Softwarelösungen von Autodesk arbeiten. Das Magazin gibt praktische ...

Berufsstart Bewerbung

Berufsstart Bewerbung

»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...

crescendo

crescendo

Die Zeitschrift für Blas- und Spielleutemusik in NRW - Informationen aus dem Volksmusikerbund NRW - Berichte aus 23 Kreisverbänden mit über 1000 Blasorchestern, Spielmanns- und Fanfarenzügen - ...

Deutsche Hockey Zeitung

Deutsche Hockey Zeitung

Informiert über das nationale und internationale Hockey. Die Deutsche Hockeyzeitung ist Ihr kompetenter Partner für Ihren Auftritt im Hockeymarkt. Sie ist die einzige bundesweite Hockeyzeitung ...