Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.

Axel van Lamsweerde Robert Darimont Philippe Massonet

Published in: RE (1995)

Keyphrases

goal directed
solving problems
artificial intelligence
combinatorial optimization
problems involving
multi agent
optimization problems
automated planning