Towards Connecting Discrete Mathematics and Software Engineering

作     者：Tun Li Wanwei Liu Juan Chen Xiaoguang Mao Xinjun Mao Tun Li;Wanwei Liu;Juan Chen;Xiaoguang Mao;Xinjun Mao

作者机构：the School of Computer National University of Defense Technology and are also with Laboratory of Software Engineering for Complex Systems 

出 版 物：《Tsinghua Science and Technology》 (清华大学学报（自然科学版（英文版）)

年 卷 期：2020年第25卷第3期

页      面：325-335页

核心收录：

学科分类：0401[教育学-教育学] 04[教育学] 08[工学] 040102[教育学-课程与教学论] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported in part by the National Key R&D Program of China (No. 2018YFB1004202) 

主　　题：Discrete Mathematics(DM) software engineering proof checker database management system symbolic execution engine 

摘      要：To enhance training in software development,we argue that students of software engineering should be exposed to software development activities early in the *** entails meeting the challenge of engaging students in software development before they take the software engineering *** this paper,we propose a method to connect courses in the software engineering curriculum by setting comprehensive development projects to students in prerequisite courses for software *** the Discrete Mathematics(DM)course as an example,we describe the implementation of the proposed method and teaching practices using several practical and comprehensive projects derived from topics in discrete *** descriptions of the sample projects,their application,and training results are *** and lessons learned from applying these practices show that it is a promising way to connect courses in the software engineering curriculum.