后置条件相关论文
提出基于过程蓝图的模型重构操作形式,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构,使基于过程源代码的重构能......
实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提......
背景：Sevoflurane；propofol 是有效 cardioprotective 麻木的代理人，不过， propofol 的 cardioprotection 没在人被显示出。他们的角色......
给出了一种基于OWL—S语言的服务描述以及服务的查找方法。该方法依据服务所必须满足的前置条件和后置条件作为判断服务匹配的准则......
Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它......
提出基于过程蓝图的模型重构操作形式，将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构，使基于过程源代码的重构能够......
同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动......
针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用......
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面......
介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件......
自2009年10月23日A股市场的创业板开板以来，截至2010年3月31日，共有60家公司在创业板上市。统计结果显示，在上市前已经有30家公司实现......
采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义......
