005.1369 His/Hop 1978 : History of programming languages / edited by Richard L. Wexelblat
History of programming languages / edited by Richard L. Wexelblat
W'PONDS
1981
005.14 Asi/Qso 2000 : Proceedings / Asia-Pacific Conference on Quality Software ; sponsored by: IEEE Hong Kong Section Computer Chapter, the British Computer Society Hong Kong Section, Software Dioxide from QAI
Proceedings / Asia-Pacific Conference on Quality Software ; sponsored by: IEEE Hong Kong Section Computer Chapter, the British Computer Society Hong Kong Section, Software Dioxide from QAI
W'PONDS
c2000-
005.14 Bec/Pqm : A process quality management system / G. Beckworth & B. Garner
A process quality management system / G. Beckworth & B. Garner
WATERFT ADPML
1995
005.14 Bec/Tdd : Test-driven development : by example / Kent Beck
Test-driven development : by example / Kent Beck
W'PONDS
2003
005.14 Bec/Voo : Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino
Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino
W'PONDS
2007
005.14 Bei/Bbt : Black-box testing : techniques for functional testing of software and systems / Boris Beizer
Black-box testing : techniques for functional testing of software and systems / Boris Beizer
W'PONDS
1995
005.14 Bin/Too : Testing object-oriented systems : models, patterns, and tools / Robert V. Binder
Testing object-oriented systems : models, patterns, and tools / Robert V. Binder
W'PONDS
2000
005.14 Bla/Mtt : Managing the testing process / Rex Black
Managing the testing process / Rex Black
W'PONDS
1999
005.14 Cac/Itr 2011 : Introduction to reliable and secure distributed programming / Christian Cachin, Rachid Guerraoui, Luís Rodrigues
Introduction to reliable and secure distributed programming / Christian Cachin, Rachid Guerraoui, Luís Rodrigues
MELB
2011
005.14 Cas/Sta : Software testing and global industry : future paradigms / by Valentine Casey ; editors, Ita Richardson and Michéal Ó hAodha
Software testing and global industry : future paradigms / by Valentine Casey ; editors, Ita Richardson and Michéal Ó hAodha
MELB
2009
005.14 Cop/Pgt : A practitioner's guide to software test design / Lee Copeland
A practitioner's guide to software test design / Lee Copeland
W'PONDS
2004
005.14 Cra/Sst : Systematic software testing / Rick D. Craig, Stefan P. Jaskiel
Systematic software testing / Rick D. Craig, Stefan P. Jaskiel
MELB
2002
005.14 Cul/Rte : Rapid testing / Robert Culbertson, Chris Brown, Gary Cobb
Rapid testing / Robert Culbertson, Chris Brown, Gary Cobb
W'PONDS
2002
005.14 Dus/Ast : Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul
Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul
W'PONDS
1999
005.14 Ebe/Bpi : Best practices in software measurement : how to use metrics to improve project and process performance / Christof Ebert ...[and others]
Best practices in software measurement : how to use metrics to improve project and process performance / Christof Ebert ...[and others]
W'PONDS
2005
005.14 Fat/Esf 2004 : Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers / [edited by] Jens Grabowski, Brian Nielsen
Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers / [edited by] Jens Grabowski, Brian Nielsen
W'PONDS
2005
005.14 Fat/Esf 2005 : Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers / Wolfgang Grieskamp, Carsten Weise (Eds.)
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers / Wolfgang Grieskamp, Carsten Weise (Eds.)
W'PONDS
2006
005.14 Fen/Sma 1997 : Software metrics : a rigorous and practical approach / Norman E. Fenton and Shari Lawrence Pfleeger
Software metrics : a rigorous and practical approach / Norman E. Fenton and Shari Lawrence Pfleeger
W'PONDS
1997
005.14 Fen/Sqa : Software quality assurance and measurement : worldwide industrial applications / Norman E. Fenton
Software quality assurance and measurement : worldwide industrial applications / Norman E. Fenton
W'PONDS
1995
005.14 Few/Sta : Software test automation : effective use of test execution tools / Mark Fewster, Dorothy Graham
Software test automation : effective use of test execution tools / Mark Fewster, Dorothy Graham
W'PONDS
1999
005.14 For : Formal methods of program verification and specification / H.K. Berg ... [and others]
Formal methods of program verification and specification / H.K. Berg ... [and others]
W'PONDS
1982
005.14 Fow/Rit : Refactoring : improving the design of existing code / Martin Fowler ; with contributions by Kent Beck ... [and others]
Refactoring : improving the design of existing code / Martin Fowler ; with contributions by Kent Beck ... [and others]
W'PONDS
1999
005.14 Gen/Mfs : Metrics for software conceptual models / editors Marcela Genero, Mario Piattini, Coral Calero
Metrics for software conceptual models / editors Marcela Genero, Mario Piattini, Coral Calero
W'PONDS
005.14 Hen/Oom : Object-oriented metrics : measures of complexity / Brian Henderson-Sellers
Object-oriented metrics : measures of complexity / Brian Henderson-Sellers
W'PONDS
1996
005.14 Hua/Sed : Software error detection through testing and analysis / J.C. Huang
Software error detection through testing and analysis / J.C. Huang
MELB
2009
005.14 Hut/Stf : Software testing fundamentals : methods and metrics / Marnie L. Hutcheson
Software testing fundamentals : methods and metrics / Marnie L. Hutcheson
MELB
2003
005.14 Ihv/Con 2006 : Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel
W'PONDS
2007
005.14 Int/Pot 1994 : First International Workshop on Requirements Engineering : Foundations of Software Quality : REFSQ 94, Utrecht, Netherland, 6 - 7 June, 1994 / Eds. Klaus Pohl, Gernot Starke, Peter Peters
First International Workshop on Requirements Engineering : Foundations of Software Quality : REFSQ 94, Utrecht, Netherland, 6 - 7 June, 1994 / Eds. Klaus Pohl, Gernot Starke, Peter Peters
MELB
1994
005.14 Isw/Ork 2006 : Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.)
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.)
W'PONDS
2006
005.14 Jor/Sta : Software testing : a craftsman's approach / Paul C. Jorgensen
Software testing : a craftsman's approach / Paul C. Jorgensen
W'PONDS
1995
005.14 Jor/Sta 2002 : Software testing : a craftman's approach / Paul C. Jorgensen
Software testing : a craftman's approach / Paul C. Jorgensen
W'PONDS
Software testing and continuous quality improvement / William E. Lewis ; Gunasekaran Veerapillai, technical coordinator
MELB, W'PONDS
2005
Software testing and continuous quality improvement / William E. Lewis ; Gunasekaran Veerapillai, technical coordinator
MELB, W'PONDS
2005
005.14 Lik/Est : Effective software test automation : developing an automated software testing tool / Kanglin Li and Mengqi Wu
Effective software test automation : developing an automated software testing tool / Kanglin Li and Mengqi Wu
W'PONDS
2004
005.14 Lin : Goal driven techniques used by professional debuggers in large system debugging / Janet Hall Lind
Goal driven techniques used by professional debuggers in large system debugging / Janet Hall Lind
W'PONDS
1984
005.14 Lyl : Evaluating variations on program slicing for debugging / James Robert Lyle
Evaluating variations on program slicing for debugging / James Robert Lyle
W'PONDS
1999
005.14 Mar/Cos : The craft of software testing : subsystem testing including object-based and object-oriented testing / Brian Marick
The craft of software testing : subsystem testing including object-based and object-oriented testing / Brian Marick
W'PONDS
1995
005.14 Mca/Spc : A simple parallelising compiler / Christopher McAvaney and Andrej Goscinksi
A simple parallelising compiler / Christopher McAvaney and Andrej Goscinksi
WATERFT ADPML
1997
005.14 Mey/Sqa : Software quality and software testing in Internet times / Dirk Meyerhoff (ed.) ... [and others] ; with contributions of Ståle Amland ... [and others]
Software quality and software testing in Internet times / Dirk Meyerhoff (ed.) ... [and others] ; with contributions of Ståle Amland ... [and others]
MELB
2002
005.14 Mos/Jes : Just enough software test automation / Daniel J. Mosley, Bruce A. Posey
Just enough software test automation / Daniel J. Mosley, Bruce A. Posey
W'PONDS