Advanced computers

Volume 58 - Highly dependable software

Marvin V. Zelkowitz, Collectif Academic Press

382 pages, parution le 25/09/2003

Ajouter à une liste

Indisponible

Résumé

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.

Contributors : K.D. Maxwell, V.L. Winter, S. Roach and G. Wickstrom, A. Biere, A. Cimatti, E.M. Clarke, O. Strichman and Y. Zhu, A.F. Memon, M. Roper, A. Dunsmore and M. Wood, L. Bernstein, R.B. Vaughn.

Software development productivity
Transformation-oriented programming: A development methodology for high assurance software
Bounded model checking
Advances in GUI testing
Software inspections
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant
Advances in the provisions of system and software security - Thirty years of progress
Author index
Subject index
Contents of volumes in this series

L'auteur - Marvin V. Zelkowitz

Professor of Computer Science, University of Maryland, College Park, U.S.A.Chief Scientist, Fraunhofer Center for Experimental Software Engineering, Maryland, U.S.A.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Academic Press
Auteur(s)	Marvin V. Zelkowitz, Collectif Academic Press
Parution	25/09/2003
Nb. de pages	382
Format	15,5 x 23,5
Couverture	Relié
Poids	750g
Intérieur	Noir et Blanc
EAN13	9780120121588
ISBN13	978-0-12-012158-8