Modellbildung in der Informatik Manfred Broy, Ralf Steinbrüggen

Подробная информация о книге «Modellbildung in der Informatik Manfred Broy, Ralf Steinbrüggen». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Modellbildung in der Informatik Manfred Broy, Ralf Steinbrüggen»

Manfred Broy, Ralf Steinbrüggen - «Modellbildung in der Informatik»

О книге

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. Это и многое другое вы найдете в книге Modellbildung in der Informatik (Manfred Broy, Ralf Steinbrüggen)

Полное название книги Manfred Broy, Ralf Steinbrüggen Modellbildung in der Informatik
Авторы Manfred Broy, Ralf Steinbrüggen
Ключевые слова нехудожественная литература, компьютерные технологии
Категории Компьютеры и Internet
ISBN 9783642622670
Издательство Springer Nature Customer Service Center LLC
Год 2013
Название транслитом modellbildung-in-der-informatik-manfred-broy-ralf-steinbr-ggen
Название с ошибочной раскладкой modellbildung in der informatik manfred broy-ralf steinbrüggen