| 書目名稱 | Modellbildung in der Informatik |
| 編輯 | Manfred Broy,Ralf Steinbrüggen |
| 視頻video | http://file.papertrans.cn/637/636351/636351.mp4 |
| 概述 | Basiswissen Informatik, System- und Entwicklungskonzept.Praxisorientierte Darstellung f? Ein- und Umsteiger |
| 叢書名稱 | Xpert.press |
| 圖書封面 |  |
| 描述 | .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. . |
| 出版日期 | Book 2004 |
| 關(guān)鍵詞 | Anforderungsmodellierung; Applikative Programmierung; Asynchrone Kommunikation; Beweiskalkül; Beweisrahm |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-18732-2 |
| isbn_softcover | 978-3-642-62267-0 |
| isbn_ebook | 978-3-642-18732-2Series ISSN 1439-5428 Series E-ISSN 2522-0667 |
| issn_series | 1439-5428 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 23:44
發(fā)表于 2025-3-21 18:18:49
