This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
CASE: Reliability Engineering for Information Systems
March/April 1988 (vol. 5 no. 2)
pp. 11-16

Classical and formal methods of information and software systems development are reviewed. The use of computer-aided software engineering (CASE) is discussed. These automated environments and tools make it practical and economical to use formal system-development methods. Their features, tools, and adaptability are discussed. The opportunities that CASE environments provide to use analysis techniques to assess the reliability of information systems before they are implemented and to audit a completed system against its design and maintain the system description as accurate documentation are examined.

Index Terms:
software tools; software reliability; CASE; reliability engineering; information systems; software systems development; computer-aided software engineering; automated environments; formal system-development; programming environments; software reliability; software tools; systems analysis
Citation:
Elliot J. Chikofsky, Burt L. Rubenstein, "CASE: Reliability Engineering for Information Systems," IEEE Software, vol. 5, no. 2, pp. 11-16, March-April 1988, doi:10.1109/52.2005
Usage of this product signifies your acceptance of the Terms of Use.