| Popis: |
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 |
