9 papers:
SAC-2014-HoritaHSNTO #approach #modelling #refinement #using- Transformation approach from KAOS goal models to BPMN models using refinement patterns (HH, KH, YS, HN, YT, AO), pp. 1023–1024.
CAiSE-2013-Espada0A #complexity #framework #modelling- A Framework to Evaluate Complexity and Completeness of KAOS Goal Models (PE, MG, JA), pp. 562–577.
- SAC-2010-Banach #semantics
- A deidealisation semantics for KAOS (RB), pp. 267–274.
ICEIS-ISAS2-2008-BrunetSLG #modelling #using- Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.
ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification- Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
ICSE-2006-NakagawaKH #analysis #modelling #multi- Analysis of multi-agent systems based on KAOS modeling (HN, TK, SH), pp. 926–929.
RE-2002-DarimontDRR #requirements- Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirement (RD, ED, JLR, AR), p. 299.
- RE-1997-DarimontDML #analysis #integration #layout #named #requirements
- GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (RD, ED, PM, AvL), p. 140.
- ICSE-1997-DarimontDML #named #requirements
- GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (RD, ED, PM, AvL), pp. 612–613.
