The following functionalities are visible from the OCRA perspective.

Refine Contract

To refine contracts, select the Contracts item just below the component and choose the Refine Contract menu ...

Refine Contract


... and on the right bottom side will be opened the Contract Refinement Editor.

Refine Contract Editor


The entire contract refinement tree is shown by the Contract Navigator

Contract Navigator

AF-OCRA has been developed and is mantained by:
Embeded System