Advances in Computers
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Elsevier

9780120121588

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contents

Advances in Computers ◽

10.1016/s0065-2458(03)58011-1 ◽

2003 ◽

pp. v-vii

Download Full-text

Preface

Advances in Computers ◽

10.1016/s0065-2458(03)58008-1 ◽

2003 ◽

pp. xiii-xv

Author(s):

Marvin Zelkowitz

Download Full-text

Software Development Productivity

Advances in Computers ◽

10.1016/s0065-2458(03)58001-9 ◽

2003 ◽

pp. 1-46 ◽

Author(s):

Katrina D Maxwell

Keyword(s):

Software Development

Download Full-text

Subject Index

Advances in Computers ◽

10.1016/s0065-2458(03)58010-x ◽

2003 ◽

pp. 349-359

Download Full-text

Bounded Model Checking

Advances in Computers ◽

10.1016/s0065-2458(03)58003-2 ◽

2003 ◽

pp. 117-148 ◽

Author(s):

Armin Biere ◽

Alessandro Cimatti ◽

Edmund M. Clarke ◽

Ofer Strichman ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Contents of Volumes in This Series

Advances in Computers ◽

10.1016/s0065-2458(03)58013-5 ◽

2003 ◽

pp. 361-366

Download Full-text

Advances in GUI Testing

Advances in Computers ◽

10.1016/s0065-2458(03)58004-4 ◽

2003 ◽

pp. 149-201 ◽

Author(s):

Atif M Memon

Keyword(s):

Download Full-text

Software Fault Tolerance Forestalls Crashes: To Err Is Human; To Forgive Is Fault Tolerant

Advances in Computers ◽

10.1016/s0065-2458(03)58006-8 ◽

2003 ◽

pp. 239-286 ◽

Author(s):

Lawrence Bernstein

Keyword(s):

Fault Tolerance ◽

Fault Tolerant ◽

Software Fault Tolerance ◽

Download Full-text

Advances in the Provision of System and Software Security— Thirty Years of Progress

Advances in Computers ◽

10.1016/s0065-2458(03)58007-x ◽

2003 ◽

pp. 287-340 ◽

Author(s):

Rayford B Vaughn

Keyword(s):

Software Security

Download Full-text

Author Index

Advances in Computers ◽

10.1016/s0065-2458(03)58009-3 ◽

2003 ◽

pp. 341-347

Download Full-text