期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
用于指针逻辑的自动定理证明器(英文) 被引量:1
1
作者 王振明 陈意云 王志芳 《软件学报》 EI CSCD 北大核心 2009年第8期2037-2050,共14页
提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自... 提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器. 展开更多
关键词 指针程序 指针逻辑 验证条件 自动定理证明器 证明检查器
下载PDF
Towards Connecting Discrete Mathematics and Software Engineering 被引量:1
2
作者 Tun Li Wanwei Liu +2 位作者 Juan Chen Xiaoguang Mao Xinjun Mao 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2020年第3期325-335,共11页
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 st... 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
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部