QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2014     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于统一无穷理论的软件测试可穷尽性研究 期刊论文 智能系统学报, 2014, 页码: 641-652 作者:  何智涛;  何华灿;  刘超 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 软件测试 统一无穷理论 软件特征 测试用例集合 测试可穷尽性 测试可信性 软件缺陷 软件测试演化过程 统一数学归纳法 dependability of software testing software defects software testing evolution process unified mathe-matical in-duction   一种基于语境的程序正确性验证算法的研究与实现 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者:  尹顺顺;  马殿富;  赵永望;  赵宪琦 收藏  |  浏览/下载：8/0  |  提交时间：2020/01/06 程序验证  Hoare逻辑  循环不变式  语境  限定数学归纳法   数学归纳法的例习题设计 期刊论文 2014, 卷号: 0, 期号: 9, 页码: 3-5 作者:  孙萍[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31 数学归纳法  习题设置  设计  合情推理  高中数学  教学实践  教学效益  思维过程