Generating obstacle conditions for requirements completeness
| Title | Generating obstacle conditions for requirements completeness |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Alrajeh, D, Kramer, J, Van Lamsweerde, A, Russo, A, Uchitel, S |
| Conference Name | Software Engineering (ICSE), 2012 34th International Conference on |
| Publisher | IEEE press |
| DOI | 10.1109/ICSE.2012.6227147 |
Work Package:
WP5
