...
机译:致力于连接离散数学和软件工程
Natl Univ Def Technol Sch Comp Changsha 410073 Peoples R China|Lab Software Engn Complex Syst Changsha 410073 Peoples R China;
Discrete Mathematics (DM); software engineering; proof checker; database management system; symbolic execution engine;
机译:走向离散数学和软件工程的连接
机译:MathePraxis-将一年级数学与工程应用程序连接起来
机译:2G / 3G Connect:用于向工程专业学生教授2G / 3G移动通信的教育软件
机译:离散数学是软件工程课程教学与实践的桥梁
机译:通过促进交流的软件开发框架和交叉授粉的计算机科学课程来连接可用性和软件工程生命周期。
机译:用软件工程技术对数学模型的再现性问题:使用房地产节点一维数学模型的案例研究
机译:朝向连接离散数学和软件工程
机译:离散时间过程代数和sDL语义(软件描述语言);软件工程部