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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.