… The objective of this chapter is to give an overview of Tropos … Second, Tropos covers the
very early phases of requirements … each actor are fulfilled by agents in terms of design patterns. …

… Finally, we propose to include within Tropos a formal specification language for all built-in …
of Tropos models, the concepts of i* will be embedded in a modeling framework which …

… and design patterns, process and organizational patterns … introduced the Tropos approach
in the form of a pattern language. … design challenges faced by developers when employing …

… , including GAIA, PASSI, and Tropos. This paper extends the Tropos methodology, enhancing
its ability to support high variability design through the explicit modelling of alternatives, it …

… Moreover, Tropos uses, along these phases, a uniform notation and an homogeneous, …
Tropos methodology to a self-motivating case study: the definition of a support tool for the Tropos …

… at how Tropos can help to address complexity in social context when making design decisions.
… We explore iterative development extension to Tropos as well as perspectives taken from …

… process of a Tropos tool, that currently is in phase of analysis and design at IRST, has
been used as a case study for presenting some features of the Tropos methodology itself. …

… Tropos’01 and Tropos’04 identifying the activities and output artifacts. By the analyses of the
Tropos’01, … Architectural design patterns for multiagent coordination. In Proc. of the 3rd Int. …

… the Tropos software design methodology [5, 2] to illustrate and compare the different agent
patterns. … Tropos uses design patterns as a technique to define the micro-level architectural …

… In this section we, firstly, present the ISSRM domain model used to define the SRPs and
to analyse the Secure Tropos models. Secondly, we overview how Secure Tropos constructs …