计算机科学与技术方法论4.pptVIP

《计算机科学与技术方法论》 专题讲座--软件开发的形式化方法 （Formal Methods in Software Development） 古天龙 参考资料 古天龙，软件开发的形式化方法，高等教育出版社，2005 董荣胜，古天龙，计算机科学与技术方法论，人民邮电出版社，2002 古天龙，蔡国永，网络协议的形式化分析与设计，电子工业出版社，2003 杨文龙，古天龙，软件工程，电子工业出版社，2004 Alagar V.S. and Periyasamy K., Specification of Software Systems, Springer-Verlag, New York, 1998 Clark E. and Wing J., Formal Methods: State of the Art and Future Direction. CMU-CS-96-178, CMU Computer Science Technical Report, 1996, 1-22 Formal Methods: / 专题讲座的主要任务(W2H) W(Why) 为什么要学习形式化方法? W(What) 形式化方法的基本原理是什么? H(How) 如何将形式化方法集成到软件开发过程? 专题讲座--软件开发的形式化方法 （一）背景知识 （二）发展历史 （三