Towards Connecting Discrete Mathematics and Software Engineering

查看全文 作　　者：Tun [1]Li;Wanwei [1]Liu;Juan [1]Chen;Xiaoguang [1]Mao;Xinjun [1]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年第25卷第3期,共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. 关键词：Discrete Mathematics(DM) software engineering proof checker database management system symbolic execution engine

相关文献

参考文献（22）
引证文献（1）
耦合文献（0）

参考文献(22)

引证文献(1)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

Towards Connecting Discrete Mathematics and Software Engineering

参考文献(22)

引证文献(1)

用户提示