Advances in Computers: Highly Dependable Software

Front Cover
Marvin Zelkowitz
Gulf Professional Publishing, 2003 - Computers - 392 pages
0 Reviews
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 development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners.

* Includes in-depth surveys and tutorials on advances in Computer Technology.* Features the work of well-known authors and researchers in the field.* Provides a broad overview of important developments.* Contains extensive bibliographies.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
2
What Factors Can Have an Impact on Productivity?
9
How to Identify Influential Factors
15
Case Study
25
Benchmarking Software Development Productivity
40
A Development Methodology
47
Approaches to Developing HighAssurance Systems
54
TransformationOriented Programming
62
RecordPlayback Tools
157
Challenges
159
State Machine Models
162
Behavioral Models
168
Statistical Methods
170
Hierarchical Techniques
172
Discussion
194
Summary
195

TOP as a Program Development Method
68
HATS
74
Embedded Systems
80
Verification
102
Summary and Conclusion
108
Introduction
118
Model Checking
121
Bounded Model Checking
126
Reducing Bounded Model Checking to SAT
129
Techniques for Completeness
134
Propositional SAT Solvers
138
Experiments
141
Related Work and Conclusions
144
References
146
Advances in GUI Testing Atif M Memon
149
Introduction
150
GUI Testing Steps
155
References
197
Software Inspections Marc Roper Alastair Dunsmore and Murray Wood
203
Introduction
204
The Beginnings of the Inspection Process
205
Variations on the Original Process
207
Reading Techniques
211
To Err Is Human
239
Fault Tolerance Is Related to Reliability Theory
248
Summary
283
Concepts of Information Assurance
289
A Historical Perspective
295
Todays Threat and Countermeasures
327
Conclusions
335
AUTHOR INDEX
341
SUBJECT INDEX
349
CONTENTS OF VOLUMES IN THIS SERIES
362
Copyright

Common terms and phrases

About the author (2003)

University of Maryland, College Park

Bibliographic information