DOC《专业代码：080611w》

前后断言、基于合同的设计、防御性程序设计;

错误处理、异常处理和容错;

基于状态和表驱动的代码开发技术;

执点分析和性能调整;

平台标准(Posix等);

测试优先的程序设计等.构造工具:软件开发环境;

GUI原理、GUI工具箱、GUI开发工具;

单元测试策略及工具;

面向应用的语言(如脚本语言、可视化语言、特定领域语言、标记语言、宏语言等);

剖面、性能分析和切片工具等.形式化开发方法:抽象机的应用(如SDL、Paisley等);

形式规约语言与方法的应用(如ASM、B、CSP、VDM、Z、Larch);

从规约自动生成代码;

精化、形式化验证、正确性证明等. 建议教材:《面向对象软件构造(英文第2版)》,迈尔,机械工业出版社,2003 先修课程:《软件工程导论》、《算法与数据结构》 参考教材:《面向对象软件构造(英文第2版)》,迈耶,清华大学出版社,1999 (李翠) 课程名称:人机交互技术 课程代码:学分:2 学时:36 课程描述:人机交互技术涉及计算机科学技术和应用工程,根据 以人为本 的原则,重点讲述如何设计实现计算机与人之间的友好界面和交互方式,课程内容主要包括人机界面和人机交互的基本概念、人机界面和人机交互的发展历史、认知学基本概念、硬件人机界面设计方法、软件人机界面设计方法、网络人机界面设计方法、人机交互技术与设备、开发工具与环境、下一代人机界面和人机交互的技术趋势等方面. 建议教材:Human-Computer Interaction (3rd Edition),Alan Dix等,Prentice Hall,2004 先修课程:《软件工程导论》、《程序设计基础》 参考教材:《用户界面设计--有效的人机交互策略(第三版)》,张国印、李健利等译,电子工业出版社,2004;

《人机交互和多通道用户界面》,戴国忠等编著;

《人机交互技术----原理与应用》,孟祥旭、李学庆编著,清华大学出版社,2004 (殷亚玲) 课程名称:软件设计与体系结构 课程代码:学分:2 学时:36 课程描述:软件设计与体系结构是计算机软件专业很重要的课程,是指导学生软件正确开发的主导思想.本课程系统地介绍软件体系结构的........