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...
| Άλλοι συγγραφείς: | Zelkowitz, Marvin V., 1945- |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam ; Boston :
Academic Press,
2003.
|
| Σειρά: |
Advances in computers ;
v. 58, 2002. |
| Θέματα: | |
| Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780120121588 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Πίνακας περιεχομένων:
- 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.