PM-08-Chap0-介绍.pptVIP

程序设计方法学 Programming Methodology 鲍玉斌, baoyb@mail.neu.edu.cn 吴宏林, wuhonglin@ise.neu.edu.cn 东北大学信息学院计算机软件研究所 教材及参考书 教材: 胡正国等编著，程序设计方法学，国防工业出版社，2002 参考书: 覃征，王志敏等，程序设计方法与优化，西安交大，2004 Meilir J. 面向对象设计--程序员必读 Mclver A，Morgan C，田玉敏等译，程序设计方法学，水利水电出版社，2007.10 Spinellis D, 韩东海译. 高质量程序设计艺术, 人民邮电出版社, 2008.01 程序设计方法学(Mclver A，Morgan C) 内容简介：介绍新的和正在出现的构造先进应用程序的技术，解决软件设计人员开发高度复杂的应用程序时必须要面临的问题。 主要内容包括：模型与正确性、程序设计技术以及应用和自动机理论。 第一部分　模型与正确性　第1章　需要：并行性的组构方法　第2章　用契约强制行为　第3章　异步进展　第4章　并发面向对象程序简化定理　第5章　抽象时间　第6章　实时精华的谓词语义　第7章　系统描述的方面　第8章　建立动态系统的体系结构的模型　第9章　“方法是什么？”—关于域工程方面的一篇短文第二部分　应用和自动机理论　第10章　面向对象程序设计和软件