PM-08-Chap0-介绍.pptVIP

  • 3
  • 0
  • 约1.91千字
  • 约 9页
  • 2016-09-14 发布于广东
  • 举报
程序设计方法学 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章 面向对象程序设计和软件

文档评论(0)

1亿VIP精品文档

相关文档