RE
2006
Springer
13 years 4 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...