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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!