※ 引述《bask (gan)》之銘言：
: 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 (太簡單，不用報)
: 基礎，不用報，可是要自已看
: 如果四個人報告，章節剛好
: 如果五個人報告，就請基礎多選一章
很快，我良心就發現了XD
除了太簡單跟暑假上過的之外，都可以報
已經有slides了，請好好準備
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.18.52