IEEE - Institute of Electrical and Electronics Engineers, Inc. - Experiments on processing and linking semantically augmented requirement specifications

Proceedings of the 37th Annual Hawaii International Conference on System Sciences

Author(s): D. Conte de Leon ; J. Alves-Foss
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2004
Conference Location: Big Island, HI, USA
Conference Date: 5 January 2004
Page Count: 10
ISBN (Paper): 0-7695-2056-1
DOI: 10.1109/HICSS.2004.1265657
Regular:

Today's critical systems increasingly rely on computers and software. However, market pressure, problems in the application of formal methods, and ineffective traceability techniques may all... View More

Advertisement