Tools

• Methodology
• Requirements
• Patterns
• Formal Tropos
• Goal Analysis
• Security
• Other
• Data Warehouse Design

Methodology

TAOM-Tool for Agent Oriented visual Modeling - ITC-irst, Trento, Italy

Requirements

OME - University of Toronto, Canada

Patterns

...

Formal Tropos

T-Tool - University of Trento and ITC-irst, Trento, Italy

Goal Analysis

GR-Tool - University of Trento, Italy

Security

ST-Tool - University of Trento, Italy

Other

...

Data Warehouse Design

DW Tool - University of Trento, Italy