8 papers:
SAC-2010-HadarKPRRS #case study #comprehension #empirical #modelling #requirements- An empirical study of requirements model understanding: Use Case vs. Tropos models (IH, TK, AP, IRB, FR, AS), pp. 2324–2329.
HIMI-II-2009-MascioPSS #design #modelling- Building and Browsing Tropos Models: The AVI Design (TDM, AP, LS, AS), pp. 269–276.
- SAC-2009-DecreusP #modelling #process #semantics
- Mapping semantically enriched Formal Tropos to business process models (KD, GP), pp. 371–376.
CAiSE-2008-MatuleviciusMMDHG #adaptation #development #information management #risk management #security- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development (RM, NM, HM, ED, PH, NG), pp. 541–555.
ICEIS-v3-2003-MouratidisMGG #information management #requirements #security #using- Analysing Security Requirements of Information Systems Using Tropos (HM, GAM, AG, PG), pp. 623–626.
SEKE-2002-PeriniSG #architecture #coordination #multi #requirements #specification- Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology (AP, AS, FG), pp. 51–54.
UML-2001-MylopoulosKC #development #uml- UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.
RE-2001-FuxmanMPT #model checking #requirements #specification- Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
