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.

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.