Page History
...
The updates in specification are related to adding a new concept: the AbstractRequirement concept. It allows you to define and implement any property-based requirement which could be inherited form the AbstractRequirement.
...
The Property-Based Requirement as a Constraint Block extension.
...