Towards Connecting Discrete Mathematics and Software Engineering  

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

机构地区：[1]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年第3期325-335,共11页清华大学学报（自然科学版（英文版）

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

摘　　要：To enhance training in software development,we argue that students of software engineering should be exposed to software development activities early in the curriculum.This entails meeting the challenge of engaging students in software development before they take the software engineering course.In 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 development.Using 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 mathematics.Detailed descriptions of the sample projects,their application,and training results are given.Results and lessons learned from applying these practices show that it is a promising way to connect courses in the software engineering curriculum.To enhance training in software development, we argue that students of software engineering should be exposed to software development activities early in the curriculum. This entails meeting the challenge of engaging students in software development before they take the software engineering course. In 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 development. Using 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 mathematics. Detailed descriptions of the sample projects, their application, and training results are given. Results and lessons learned from applying these practices show that it is a promising way to connect courses in the software engineering curriculum.

关 键 词：Discrete Mathematics(DM) software engineering proof checker database management system symbolic execution engine 

分 类 号：G642[文化科学—高等教育学] TP311.52-4[文化科学—教育学]