Comparing Three Formal Analysis Approaches of the Tropos Family.

Dominik Schmitz Gerhard Lakemeyer Matthias Jarke

Published in: AOIS (2006)

Keyphrases

formal analysis
formal methods
agent oriented
machine learning
data model
query language
software engineering