Automatic analysis of requirements consistency with the B method
Thiago Carvalho de Sousa, Jorge Rady de Almeida, Sidney da Silva Viana, Judith Pavón · ACM SIGSOFT Software Engineering Notes · 2010
A consistent requirements specification is a fundamental success factor for quality software development projects. On the one hand, writing requirements in a natural language is not good for an automated conflict detection process. On the other hand, formal methods provide the basis for consistency checking of requirements specification automatically. In this paper, the potential of the B method for improving the requirements quality under the consistency dimension is discussed. We present an approach to use B specifications derived from a controlled natural language to identify requirements inconsistencies