首页> 中文期刊>光盘技术 >基于c#的合约式包装器的设计方案研究

基于c#的合约式包装器的设计方案研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

实现了乙在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件或后置条件的检查代码插入到源文件中.当执行含有合约检查代码的源文件的时候,检查代码将被执行,以确保合约是否被遵守.

著录项

来源
《光盘技术》|2009年第5期|36-37|共2页
作者
李英娜;
展开▼
作者单位

昆明理工大学,云南,昆明,650051;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
易测试性; 合约式设计; 类不变式; 前置条件; 后置条件;

相似文献

中文文献
外文文献
专利

1. 基于ARM9的嵌入式智能家电控制器的设计方案 [J] . 李娟 ,潘杰 . 中国科技信息 . 2008,第014期
2. 基于ARM及C#语言的城轨能馈式供电系统综合监控技术研究与实现 [J] . 金海军 ,田蓓 ,许晓梦 . 电子设计工程 . 2014,第006期
3. 基于智能合约的分布式数据共享模式及其算法研究 [J] . 姜庆臣 ,莫路锋 ,朱雪芬 . 信息技术与网络安全 . 2021,第011期
4. 基于以太坊智能合约的密封式区块链拍卖可信方案的研究 [J] . 杨杰 ,孙钰 ,刘峰 . 计算机科学与应用 . 2020,第005期
5. 基于区块链智能合约的分布式发电市场化交易机制研究 [J] . 于韶源 ,杨胜春 ,李亚平 . 智慧电力 . 2018,第010期
6. 基于S3C44B0X的嵌入式Web服务器设计方案 [C] . 许大毛 ,李经达 ,王本有 . 2006年全国第六届嵌入式系统学术年会 . 2006
7. 基于ARM及C#语言的城轨能馈式供电系统综合监控技术研究与实现 [A] . 金海军 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号