计算机科学与技学科各专业.docVIP

计算机科学与技术学科各专业 攻读硕士学位研究生培养方案 一、培养目标 计算机科学与技术一级学科包含计算机系统结构、计算机软件与理论、计算机应用技术和信息安全4个二级学科、专业。 为适应我国现代化建设的需要，培养德、智、体全面发展的计算机科学与技术学科各专业的硕士学位专业人才。具体目标是： 1.掌握马列主义、毛泽东思想、邓小平理论和三个代表重要思想，拥护党的基本路线，树立正确的世界观、人生观和价值观，遵纪守法，具有较强的事业心和责任感，具有良好的道德品质和学术修养，愿为社会主义现代化建设事业服务。 2.在计算机科学与技术学科相关专业中，掌握扎实的基础理论和系统的专业知识，具有从事科学研究、教学工作或担任专门技术工作的能力。 3.掌握一门外国语，能流利的进行交流，能运用该外语比较熟练地阅读本专业的文献资料。 4.身心健康。 二、研究方向 （一）计算机软件与理论专业主要研究方向 1.软件工程 研究大型软件工程化方法的基本理论、技术与实施策略；自动程序设计、程序变换、软件设计理论、程序正确性理论、面向对象软件开发方法及相关技术； 研究支撑软件开发全过程的各类智能工具及相应环境、智能计算机辅助软件工程及其基础理论方法和技术；软件开发环境。 研究软件规范的形式化的工具、形式语义学、程序逻辑及程序验证以及以上理论在软件工程中的应用和实现； 研究软件可靠性模型与理论、软件的评估与测试、软件工程规范