Automated Consistency Checking of Requirements Specifications

Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw. Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering Methodology, 5(3):231-261, 1996. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.