Automatic analysis of requirements consistency with the B method

Authors:
Thiago C. de Sousa;Jorge R. Almeida, Jr.;Sidney Viana;Judith Pavón
Affiliations:
University of São Paulo, Brazil;University of São Paulo, Brazil;University of São Paulo, Brazil;University of São Paulo, Brazil
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2010

Citing 9
Cited 2

Design and validation of computer protocols

Design and validation of computer protocols
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Proceedings of the 24th International Conference on Software Engineering
English as a Formal Specification Language

DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
Goal-Oriented Requirements Engineering: A Guided Tour

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Object-Oriented Software Engineering: A Use Case Driven Approach

Object-Oriented Software Engineering: A Use Case Driven Approach
Consistency Checking of UML Requirements

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)

Using UML stereotypes to support the requirement engineering: a case study

ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
An ontological pivot model to interoperate heterogeneous user requirements

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.01

Visualization

Abstract

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