Since 1960, this series 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.