Generating obstacle conditions for requirements completeness.

Dalal Alrajeh Jeff Kramer Axel van Lamsweerde Alessandra Russo Sebastián Uchitel

Published in: ICSE (2012)

Keyphrases

sufficient conditions
environmental conditions
databases
social networks
application specific
user requirements
neural network
real world
image segmentation
wide range
generation process