For each constraint specification, all orderings consistent with the constraints should be printed.
对应于每个约束的定义，应打印输出全部满足该约束的有序集。
In the first case, the constraint specification is consistent; in the second case, no statement about consistency can be made.
在第一种情况下，约束规范是一致的，在第二种情况下，不能对一致性给出结论。
The content of thesis will focus on constraint specification of weakly hard real-time, scheduling algorithms based on weakly hard real-time and related experiments.
本论文的研究内容集中在弱硬实时约束规范，基于弱硬实时约束规范的调度算法及相关实验。
When a primary key constraint is defined, the federated system automatically creates a unique index specification.
当定义一个主键约束时，联邦系统自动创建一个惟一的索引规范。
When a schema constraint is violated, the schema specification requires that the corresponding error code be reported.
当模式约束被违背后，模式规范要求报告相应的错误代码。
The heart of the BICS framework specification is a constraint processing model.
BICS框架规范的核心是约束处理模型。
Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.
目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。
The Bean Validation specification provides a way to query the constraint repository.
BeanValidation规范提供了查询约束仓库的手段。
According to the JVM specification, a class loader constraint is violated when the following four conditions hold.
根据JVM规范，当满足以下四个条件时，就违反了类装入器约束。
The Bean Validation specification lets you externalize and internationalize the constraint error messages through a classic file system based ResourceBundle localization.
Bean验证规范能让你通过基于ResourceBundle本地化的标准文件系统来外部化和国际化约束错误消息。
In the Specification, the behavior is treated as an extra constraint.
在此规范中，行为亦被视为一种额外的限制。
A validation rule to handle invalid messages in sequence diagrams has been introduced. The constraint for this rule can be found in this UML 2.2 specification
序列图中处理无效消息的验证规则会得到引入。
A validation rule to handle invalid messages in sequence diagrams has been introduced. The constraint for this rule can be found in this UML 2.2 specification
序列图中处理无效消息的验证规则会得到引入。
应用推荐