作者bask (gan)
看板NTUEE_VAL
标题Re: [公告] 新生报告
时间Fri Oct 19 15:08:44 2007
※ 引述《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