Cover Image

Highly dependable software /

Show other versions (1)

Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software d...

Full description

Bibliographic Details
Other Authors: Zelkowitz, Marvin V., 1945-
Format: eBook
Language:English
Published: Amsterdam ; Boston : Academic Press, 2003.
Series:Advances in computers ; v.58, 2002.
Subjects:
Computer software.
Reliability (Engineering)
Logiciels.
Fiabilité.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Preface.
  • Contributors.
  • Software development productivity, K.D. Maxwell.
  • Transformation-oriented programming: A development methodology for high assurance software, V.L. Winter, S. Roach and G. Wickstrom.
  • Bounded model checking, A. Biere, A. Cimatti, E.M. Clarke, O. Strichman and Y. Zhu.
  • Advances in GUI testing, A.F. Memon.
  • Software inspections, M. Roper, A. Dunsmore and M. Wood.
  • Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant, L. Bernstein.
  • Advances in the provisions of system and software security
  • Thirty years of progress, R.B. Vaughn.