Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.

Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer

Browse the full ICSE paper archive.