GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering

@inproceedings{Darimont-al:ICSE97,
  author    = {Robert Darimont and
               Emmanuelle Delor and
               Philippe Massonet and
               Axel van Lamsweerde},
  title     = {{GRAIL/KAOS:} An Environment for {Goal-Driven} Requirements Engineering},
  booktitle = {ICSE},
  pages     = {612--613},
  publisher = {{ACM}},
  year      = {1997},
}