IEEE - Institute of Electrical and Electronics Engineers, Inc. - Requirements interaction detection using semi-formal methods

Proceedings 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003

Author(s): M. Shehata ; A. Eberlein
Sponsor(s): IEEE Comput. Soc. Tech. Committee on Eng. Comput.-Based Syst
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Huntsville, Alabama, USA, USA
Conference Date: 7 April 2003
Page Count: 9
Page(s): 224 - 232
ISBN (Paper): 0-7695-1917-2
DOI: 10.1109/ECBS.2003.1194803
Regular:

Increased pressure to reduce time-to-market has resulted in an increased effort to reuse previously developed software components when developing new software systems. However, in numerous cases,... View More

Advertisement