作者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