The Agricolture Case Study This example corresponds to a fragment of the early requirements model of an agriculture domain analyzed in an technology transfer project of ITC-irst. This example has been used for explanatory purposes in the paper Agent-oriented modeling by interleaving formal and informal specification accepted in the Agento Oriented Software Engineering Workshop held in Melbourne, Australia - July 15, 2003. |
||
|
||
Go back to the Formal Tropos Case Studies list. |