Leveraging inconsistency in software development

Computer

Volumn 33, Issue 4, 2000, Pages 24-29

  Nuseibeh, Bashar ^a   Easterbrook, Steve ^b   Russo, Alessandra ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DATA FLOW ANALYSIS;

INCONSISTENCY MANAGEMENT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0034174018     PISSN: 00189162     EISSN: None     Source Type: Journal    
DOI: 10.1109/2.839317     Document Type: Article

References (11)

1. M. Jackson, Software Requirements & Specifications: A Lexicon of Practice, Principles, and Prejudices, Addison-Wesley, Wokingham, England, 1995.
2. B. Nuseibeh, "To Be and Not to Be: On Managing Inconsistency in Software Development," Proc. Eighth Int'l Workshop on Software Specification and Design, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 164-169.
3. B. Nuseibeh, J. Kramer, and A.C.W. Finkelstein, "A Framework for Expressing the Relationships between Multiple Views in Requirements Specification," IEEE Trans. Software Eng., 1984, pp. 760-773.
4. K. Narayanaswamy and N. Goldman, "Lazy Consistency: A Basis for Cooperative Software Development," Proc. 4th Int'l Conf. Computer Supported Cooperative Work, ACM Press, New York, 1992, pp.257-264.
5. S.M. Easterbrook and J. Callahan, "Formal Methods for Verification and Validation of Partial Specifications: A Case Study," J. Systems and Software, Vol. 40, No. 3, 1998, pp. 199-210.
6. A. Russo, B.A. Nuseibeh, and J. Kramer, "Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study," Third Int'l Conf. Requirements Engineering, IEEE CS Press, Los Alamitos, Calif., 1998, pp. 51-60.
7. F. Schneider et al., "Validating Requirements for Fault Tolerant Systems Using Model Checking," Third Int'l Conf. Requirements Engineering, IEEE CS Press, Los Alamitos, Calif., 1998, pp. 4-13.
8. C.L. Heitmeyer, R.D. Jeffords, and B.G. Lahaw, "Automated Consistency Checking of Requirements Specifications," ACM Trans. Software Engineering and Methodology, ACM Press, New York, Vol. 5, No. 3, 1998, pp. 231-261.
9. B.A. Nuseibeh, "Ariane 5: Who Dunnit?" IEEE Software, Vol. 14, No. 2, 1997, pp. 15-16.
10. U. Leonhardt et al., "Decentralized Process Modeling in a Multi-Perspective Development Environment," Proc. 17th Int'l Conf. Software Eng., ACM Press, New York, 1995, pp. 255-264.
11. C. Ghezzi and B. Nuseibeh, "Guest Editorial: Introduction to the Special Section on Managing Inconsistency in Software Development," IEEE Trans. Software Eng., 1999, pp. 782-783.