IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal verification of structured analysis and design in HOS

Proceedings. Third ACIS International Conference on Software Engineering Research, Management and Applications

Author(s): C.-C. Chiang ; R. Lee
Sponsor(s): Int. Assoc. for Comput. and Inf. Sci. (ACIS)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Mount Pleasant, MI, USA, USA
Conference Date: 11 August 2005
Page(s): 282 - 287
ISBN (Paper): 0-7695-2297-1
DOI: 10.1109/SERA.2005.41
Regular:

Traditional structured analysis and design methods have been criticized because the methods lack formality to provide a design for rigorous development. Several approaches have been developed for... View More

Advertisement