HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 后置条件论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
一种基于符号执行的测试用例生成方法第2327-2331页
关键词: 符号执行  路径爆炸  后置条件  最弱前置条件  
2019年第09期 《计算机与数字工程》
常用循环摘要的自动生成方法及其应用第1051-1069页
关键词: 循环摘要  循环不变式  前置条件  后置条件  程序验证  
2017年第05期 《软件学报》
基于语义的Web服务匹配研究第16-19页
关键词: web服务  前置条件  后置条件  匹配度  
2007年第03期 《计算机技术与发展》
基于过程蓝图的重构操作第242-247页
关键词: 模型重构  过程蓝图  前置条件  后置条件  行为保持  
2007年第01期 《计算机科学》
基于Object-Z多态推理第230-232页
关键词: 多态  前置条件  后置条件  推理  重用  
2006年第07期 《计算机科学》
基于c#的合约式包装器的设计方案研究第36-37页
关键词: 易测试性  合约式设计  类不变式  前置条件  后置条件  
2009年第05期 《光盘技术》
创业板公司股权激励研究第396-396页
关键词: 创业板  股权激励  前置条件  后置条件  
2010年第04期 《城市建设》
基于Hoare逻辑的过程调用的形式化方法第197-201页
关键词: hoare逻辑  过程语义  过程调用语义  前置条件  后置条件  
2011年第01期 《计算机工程与设计》
期刊导航