论文部分内容阅读
实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件或后置条件的检查代码插入到源文件中。当执行含有合约检查代码的源文件的时候,检查代码将被执行,以确保合约是否被遵守。
基于c#的合约式包装器的设计方案研究
【摘 要】
：
实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件
【机 构】
：
昆明理工大学
【出 处】
：
光盘技术
【发表日期】
：
2009年5期
其他文献
完形填空是高考中一个非常重要的题型,在整个试题中占20分,虽然分值比以前有所降低,但是依然不可忽视,完形填空答题好坏直接决定着英语成绩的高低,所以我们平常必须重视完形
王韬论诗主性情，反对模拟古人，求新求奇，要求诗歌创作应有自己的个性、见解和学识；在诗歌功能上重视济时用世及立言传世。王韬诗学思想中的创新精神在清代后期拟古主义诗风普遍笼
应用人工低压氧舱模拟高原训练的方法,建立梯度交替海拔的动物训练模型,下高原调整后以45m/min的速度快速力竭,紫外分光光度法测定固定海拔2500m、4000m以及2500m～4000m交替训
在背跃式跳高这一田径运动项目中,助跑与起跳两个动作环节是密不可分的,助跑为起跳提供着保障性的作用,所以说在整个跳高动作完成的过程中助跑技术是最为关键的。而在以往的
基督教在德州区域的广泛传播，引发了一系列民教冲突，以致出现了轰动一时的德州教案，并最终汇集成轰轰烈烈的鲁西北义和团运动，其中朱红灯、心诚和尚等领导的义和团声势较大。德州
用VC＋＋语言开发一个多媒体设备控制系统,采用线程实现对多媒体设备遥控板数据的采集、保存和发送,利用软件对信号进行调制以简化硬件电路,并通过计算机并口实现对多媒体设备使
张彝是德州历史名人之一,南北朝时期北魏清河郡东武城人,出身于名门望族——清河张氏。张彝历仕北魏孝文帝、宣武帝、孝明帝三朝,先后任主客令、太中大夫、黄门侍郎、太常少
本文简要介绍了利用MapInfo的二次开发语言MapBasic,结合生产实践过程中的实际需求详细的说明了GIS数据制作与更新的方法。
旅游服务质量评价是提高旅游业服务质量的有效措施之一.基于3G网络的旅游服务质量评价系统消除了时空的限制,从根本上克服了传统的调查问卷模式的局限性,能够提供更为实时、