作者bask (gan)
看板NTUEE_VAL
标题[公告] 新生报告
时间Fri Oct 19 14:50:00 2007
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)
1F：推 litobear:---------------Automatic Verification 我的 10/20 16:10
2F：推 kona:那我报Modeling Software Systems 10/24 22:55
3F：推 alphajim:我想报 Deductive Software Verification 10/29 06:45