推 litobear:---------------Automatic Verification 我的 10/20 16:10
推 kona:那我報Modeling Software Systems 10/24 22:55
推 alphajim:我想報 Deductive Software Verification 10/29 06:45
Title: Software Reliability Methods
Author: Doron Peled, Bell Labs/Lucent Technologies, Murray Hill, NJ, USA
Publisher: Springer-Verlag
Price: $59.95
ISBN: 0-387-95106-7
slides:http://www.dcs.warwick.ac.uk/~doron/srm.html
三位碩一與二位博一要報告這本書(鴻鑫可以報告自已在看的東西)
報告時間最快就是兩週日本行結束後(如果沒別的安排ex:check point)
章節如下
Introduction (太簡單，不用報)
Preliminaries (太簡單，不用報)
Logic and Theorem Proving (暑假上過，不用報)
Modeling Software Systems (基礎，不用報)
Formal Specification (基礎，不用報)
Automatic Verification
Deductive Software Verification
Process Algebra and Equivalences
Software Testing (基礎，不用報)
Combining Formal Methods
Visualization (太簡單，不用報)
Conclusion (太簡單，不用報)
基礎，不用報，可是要自已看
如果四個人報告，章節剛好
如果五個人報告，就請基礎多選一章
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.18.52
※ 編輯: bask 來自: 140.112.18.52 (10/19 15:06)