| 書目名稱 | Formale Modelle der Softwareentwicklung | | 副標題 | Model-Checking, Veri | | 編輯 | Stephan Kleuker | | 視頻video | http://file.papertrans.cn/346/345976/345976.mp4 | | 概述 | Viele unterschiedliche Ans?tze formaler Modelle zum Nachweis der Korrektheit von Software.Includes supplementary material: | | 圖書封面 |  | | 描述 | Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testans?tzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen pr?zise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzm?glichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund. | | 出版日期 | Textbook 2009 | | 關鍵詞 | Automat; Automaten; Java; Modellprüfung; PROMELA; SPIN; Simulation; Verifikation | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-8348-9595-0 | | isbn_softcover | 978-3-8348-0669-7 | | isbn_ebook | 978-3-8348-9595-0 | | copyright | Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2009 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 10:56
發(fā)表于 2025-3-21 17:48:11
