Using IDEAS

In this section we show how to use IDEAS in order to create iAgree files.

Step 1

Access to IDEAS and create an account:

ideas-login
IDEAS is the on-line workbench with the ISA Group analysis tools for SLA and Formal Experiments. There you will be able to create iAgree documents and excecute operation to check consistence, validity, etc.
Step 2

Create a workspace:

ideas-workspace
Step 3

Create an iAgree document: template, offer or agreement.

ideas-workspace
Step 4

Start writing your own file and execute multiple operations.

ideas-workspace