Cargando…
Highly dependable software /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Academic Press,
2003.
|
| Colección: | Advances in computers ;
v. 58, 2002. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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.