IEEE - Institute of Electrical and Electronics Engineers, Inc. - Digestion-Based Software Formal Transformation

2008 International Seminar on Business and Information Management (ISBIM 2008)

Author(s): Xiaojuan Cai ; Yonggen Gu
Sponsor(s): Eng. Technol. Press, Hong Kong
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Wuhan, China
Conference Date: 19 December 2008
Volume: 1
Page(s): 522 - 525
ISBN (Paper): 978-0-7695-3560-9
DOI: 10.1109/ISBIM.2008.259
Regular:

Software reliability is becoming increasingly important in todaypsilas information era. Many techniques have been proposed to improve software reliability with varying degrees of success. One... View More

Advertisement