作者bask (gan)
看板NTUEE_VAL
標題Re: [公告] 新生報告
時間Mon Oct 29 00:43:37 2007
你們報告準備好沒
就快要報告了
不要時候到了說什麼不知道要報告的藉口
我先提醒一下大家
tomato去日本聽了日本教授的話(ex:學生8:00後才下班)
變的怪怪的
※ 引述《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 (太簡單，不用報)
: 基礎，不用報，可是要自已看
: 如果四個人報告，章節剛好
: 如果五個人報告，就請基礎多選一章
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.132.187
1F：推 mondale:orz... 該不會我們也要8:00以後下班吧... 10/29 01:05