Versions Compared

Old Version 1

changes.mady.by.user Proofreader

Saved on

compared with

New Version Current

changes.mady.by.user Agne P.

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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.

...

Image Added
The Property-Based Requirement as a Constraint Block extension.

...