Generating obstacle conditions for requirements completeness

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel. Generating obstacle conditions for requirements completeness. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 705-715, IEEE, 2012. [doi]

Authors

Dalal Alrajeh

This author has not been identified. Look up 'Dalal Alrajeh' in Google

Jeff Kramer

This author has not been identified. Look up 'Jeff Kramer' in Google

Axel van Lamsweerde

This author has not been identified. Look up 'Axel van Lamsweerde' in Google

Alessandra Russo

This author has not been identified. Look up 'Alessandra Russo' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google