Advances in Computers, Volume 58

Volume 58, 2003

• Katrina Maxwell: Software development productivity. 2-48
• Victor L. Winter, Steve Roach, Gregory L. Wickstrom: Transformation-oriented programming: A development methodology for high assurance software. 49-117
• Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. 118-149
• Atif M. Memon: Advances in GUI testing. 150-203
• Marc Roper, Alastair Dunsmore, Murray Wood: Software inspections. 204-239
• Lawrence Bernstein: Software fault tolerance forestalls crashes: To err is human; to forgive is fault tolerant. 240-287
• Rayford B. Vaughn: Advances in the provisions of system and software security - Thirty years of progress. 288-340