软件的代码需要遵守各种各样的约束，这些约束有些是与业务逻辑无关的,有些是业务逻辑相关的。编程语言的BNF是最重要的业务逻辑无关......

时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测......

约束对空间和时间数据具有较强的表达能力，文中首先讨论了基于约束的时空数据库的基础：时空数据的约束描述。在基于约束的时空数据类......

该文提出一种增强谓词逻辑法，用于简化变量几何设计几何推理方法中的约束描述，提高描述信息的抽象层次，且使模型定义语言更加直观，使尺......

运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE......

针对可扩展标记语言(extensible markup language,XML)结构定义(XML schemas definition,XSD)在对矿山遥感监测属性数据的复杂约束......

首先描述了一个基于角色和任务的工作流授权模型,其基本思想是角色和权限不直接挂钩而是通过任务把它们联系在一起,更方便权限粒度......

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言，证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL......

针对传统定向测试效率较低且容易遗漏边界条件，以及测试平台扩展性、移植性差等问题，利用SystemVerilog的面向对象特性、随机约束求......