论文部分内容阅读
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型，并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题，针对提出的问题给出了相应的解决方法。
Java建模语言在程序不变量动态发现过程中的应用
【摘 要】
：
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型，并结合
【机 构】
：
湖南涉外经济学院计算机科学与技术学部,南华大学计算机科学与技术学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年18期
【基金项目】
：
湖南省自然科学基金项目（05JJ30117）.
其他文献
在以前提出的大部分群签名体制中,群公钥的长度至少和群成员数是线性的,因此验证算法的运行时间依赖于群成员的个数.构造了一种新的群签名体制,它将克服这些问题,并且在增加
目的：探讨全方位护理应用于剖宫产产妇对母乳喂养的影响。方法：选取2014年1月至2016年1月接收的剖宫产产妇60例，随机分为观察组和对照组各30例。对照组行常规护理，观察组行全方位
随着计算机多媒体技术的快速发展，如何保护数字产品不被复制、盗用、篡改已成为信息安全领域中亟待解决的问题，数字水印技术成为解决该问题的一种新方法。基于二维离散余弦变换
移动位置服务近年来发展迅速，然而当前的LBS平台对动态空间信息的存取、交换、集成方式都不尽相同，异构平台之间的内容共享与交互也存在一些缺陷。重点讨论了LBS应用如何利于语
度鲁特韦是目前最热门的抗艾滋病药物,为整合酶抑制剂,于2013年8月被FDA批准上市,可明显改善患者病情,目前尚未进入中国市场。详细了解该药的专利申报趋势,并深入分析专利整
MMS(Multimedia Messaging Service)作为一种新兴的移动数据业务,因其支持图片、声音、动画等多媒体的传输,越来越受到用户青睐.用户每天利用该服务定制,传送和转发大量的实
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
将欧几里得距离分析法、灰色关联度嵌入到TOPSIS模型中,建立基于灰色关联度的改进TOPSIS模型,提出一种新的相对贴近度改进算法,不仅能反映方案与理想解距离上的接近程度而且
为了提高多媒体教学软件的开发质量和开发效率,解决多媒体教学软件原型法开发模型中并行开发问题,对基于CSCW环境下多媒体教学软件开发的系统结构及开发效率进行了分析研究,
目的：探讨大剂量阿托伐他汀治疗对大鼠心肌梗死后心室重构的影响。方法：将48只雄性SD大鼠随机均分为心肌梗死对照组（以去离子水灌胃）、常规剂量组（阿托伐他汀20mg/kg,在建立心肌梗