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