Automatic analysis of consistency between requirements and designs

Authors:
Maria Marsha A. Chechik;John Gannon
Affiliations:
-;-
Venue:
Automatic analysis of consistency between requirements and designs
Year:
1996

Citing 0
Cited 3

Automatic Analysis of Consistency between Requirements and Designs

IEEE Transactions on Software Engineering
Formal modeling in a commercial setting: a case study

Journal of Systems and Software
SC(R)3: towards usability of formal methods

CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research

Quantified Score

Hi-index	0.00

Visualization

Abstract