Requirements in the loop : A computer-aided analysis of consistency, completeness, and correctness of requirements.

Wolfgang Meincke

Browse the full RE paper archive.