契约式设计相关论文
基于契约进行程序验证的理论最早出现于20世纪70年代对大型系统的研究之中。20世纪90年代,Bertrand Meyer首次将契约式设计(Design......
本文主要介绍了游戏机器人开发平台的总体设计和其部分实现。所谓游戏机器人是指一种计算机程序，该程序可以直接与其所对应的游戏进......
本文以VeriJava作为研究对象，探讨基于契约式设计的VeriJava编程语言设计及相关问题；首先对该编程语言进行了简要概述；主要介绍了契约......
客户一供方契约规定了软件系统每一步操作的责任和义务.契约式设计中引入异常处理机制以应对发生在运行环境下的契约违背.该种异常......
为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计......
针对游戏机器人开发平台在图形编程过程中可能出现的错误，提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供......
在进行软件组件开发时，需要明确组件中服务请求者与提供者之间相互满足的契约关系。通过在组件中支持契约式设计（Design by Contract......
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器，试图在编译阶段通过对方法，类等先决条件与后置条件的验证，在逻辑上保证......
介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件......
复杂的 CORBA异常机制成为 CORBA软件错误的主要来源地之一 .此类错误不易于发现、复现、调试 ,因而成为测试的难点 .分析此类错误......
在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建......
基于契约式设计(Design By Contract,DBC)这一理论是由Betrand Meyer提出的。DBC技术的核心是利用断言使方法及类的行为受到契约的......
垃圾收集已经普遍应用于主流的软件开发领域中,有效地避免了一些安全漏洞的同时提高了资源利用率。然而,垃圾收集自身都比较复杂,......
软件的可靠性一直是工业界和学术界关注的焦点,随着软件系统的规模和复杂度的不断增长,如何保证其可靠性成为了亟待解决的问题。软......
