BooksSitemapComputersSoftware Development & EngineeringQuality Assurance & Testing
1981 ACM Workshop/Symposium on Measurement and Evaluation of Software Quality by ACM-Sigmetrics - 1981 - 197 pages
A Framework of Software Measurement by Horst Zuse - 1998 - 755 pages
A Practical Approach to Software Quality by Gerard O'Regan - 2002 - 289 pages
A Practitioner's Guide to Software Test Design by Lee Copeland - 2004 - 294 pages
A Systematic Catalogue of Reusable Abstract Data Types by Jürgen Uhl, Hans Albrecht Schmid - 1990 - 344 pages
AADEBUG 2005 by ACM Special Interest Group on Programming Languages - 2005 - 164 pages
Achieving Software Quality Through Teamwork by Isabel Evans - 2004 - 296 pages
Ada-Europe 2003 by Jean-Pierre Rosen, Alfred Strohmeier - 2003 - 428 pages
Ada-Europe 2003 by Jean-Pierre Rosen, Alfred Strohmeier - 2003 - 428 pages
Ada-Europe 2008 - 2008 - 281 pages
Advanced Automated Software Testing by Izzat Alsmadi - 2012 - 270 pages
An Introduction to Testing Web Applications with Twill and Selenium by C. Titus Brown, Gheorghe Gheorghiu, Jason Huggins - 2007 - 60 pages
Android Application Testing Guide by Diego Torres Milano - 2011 - 332 pages
Application debugging by Robert Binder - 1985 - 366 pages
Application debugging by Robert Binder - 1985 - 366 pages
Applying Software Metrics by Paul Oman, Shari Lawrence Pfleeger - 1997 - 321 pages
Architectures for Adaptive Software Systems by Raffaela Mirandola, Ian Gorton, Christine Hofmeister - 2009 - 213 pages
Automated software quality measurement by Keith A. Jones - 1993 - 320 pages
Automatic program debugging for intelligent tutoring systems by William R. Murray - 1988 - 347 pages
B 2007: Formal Specification and Development in B by Jacques Julliand, Olga Kouchnarenko - 2006 - 292 pages
B'98: Recent Advances in the Development and Use of the B Method - 1998 - 311 pages
Basic Electrical Troubleshooting for Everyone by Darrel P. Kaiser - 2007 - 248 pages
Best practices for the formal software testing process by Rodger Drabick - 2004 - 286 pages
Beta Testing for Better Software by Michael Fine - 2002 - 284 pages
Beta Testing for Better Software by Michael Fine - 2002 - 284 pages
Brilliant Troubleshooting and Repairing Your PC by John Taylor - 2005 - 219 pages
Bug-Free Computing by Ken Dwight - 2005 - 177 pages
Building and Testing with Gradle by Matthew McCullough, Tim Berglund, Ken Sipe - 2011 - 110 pages
Bulletproofing Client/Server Systems by Richard J. Martin, Glenn E. Weadock - 1997 - 332 pages
Burp Suite Starter by Luca Carettoni - 2013 - 80 pages
Buying Software - 2004 - 163 pages
CodeWatch by Language Processors, Inc - 1989
Collaudo e qualità del software by Alfredo Avellone, Ercole Colonese, Mario Cislaghi - 2010 - 330 pages
Comparing ISO 9000, Malcolm Baldrige, and the SEI CMM for software by Michael O. Tingey - 1997 - 312 pages
Complete log4j manual by Ceki Gülcü, Scott Stark - 2003 - 207 pages
Component-Based Software Quality by Alejandra Cechich, Mario Piattini, Antonio Vallecillo - 2003 - 402 pages
Computer Aided Verification by Tayssir Touili - 2010 - 676 pages
Computer Aided Verification by Ahmed Bouajjani, Oded Maler - 2009 - 722 pages
Computer Aided Verification by Thomas Ball, Robert B. Jones - 2006 - 564 pages
Computer Aided Verification - 2004 - 536 pages
Computer Aided Verification - 2004 - 536 pages
Computer Aided Verification by Warren A. Jr.. Hunt, Fabio Somenzi - 2003 - 462 pages
Computer Aided Verification by Nicolas Halbwachs, Doron Peled - 1999 - 506 pages
Computer Aided Verification by Alan J. Hu, Moshe Y. Vardi - 1998 - 552 pages
Computer Aided Verification - 1997 - 486 pages
Computer Performance Engineering by Alessandro Aldini - 2010 - 286 pages
Computer Repair With Diagnostic Flowcharts by Morris Rosenthal - 2003 - 116 pages
Computer Safety, Reliability and Security by Stuart Anderson, Sandro Bologna, Massimo Felici - 2002 - 346 pages
Computer Safety, Reliability and Security by Stuart Anderson, Sandro Bologna, Massimo Felici - 2002 - 346 pages
Computer Safety, Reliability and Security by Udo Voges - 2001 - 248 pages
Computer Safety, Reliability, and Security by Erwin Schoitsch - 2010 - 482 pages
Computer Safety, Reliability, and Security by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann - 2004 - 337 pages
Computer Safety, Reliability, and Security by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann - 2004 - 337 pages
Computer Safety, Reliability, and Security by Stuart Anderson, Massimo Felici, Bev Littlewood - 2003 - 426 pages
Computer Safety, Reliability, and Security by Stuart Anderson, Massimo Felici, Bev Littlewood - 2003 - 426 pages
Computer Validation Compliance by Mary Ellen Double, Maryann McKendry - 1994 - 205 pages
Configuring ISA Server 2000 by Thomas W. Shinder, Debra Littlejohn Shinder, Martin Grasdal - 2001 - 919 pages
Correct hardware design methodologies by Paolo Prinetto, Paolo Camurati, Politecnico di Torino - 1992 - 470 pages
Current research in decision support technology by Robert W. Blanning, David R. King - 1992 - 241 pages
Debugging by David J. Agans - 2002 - 183 pages
Debugging and Performance Tuning for Parallel Computing Systems by Ann H. Hayes - 1996 - 403 pages
Debugging Applications for Microsoft® .NET and Microsoft Windows® by John Robbins - 2010 - 848 pages
Debugging Asp.Net by Jonathan Goodyear, Brian Peek, Brad Fox - 2001 - 350 pages
Debugging at the Electronic System Level by Frank Rogin, Rolf Drechsler - 2010 - 199 pages
Debugging by Thinking by Robert C. Metzger - 2004 - 567 pages
Debugging by Thinking by Robert C. Metzger - 2004 - 567 pages
Debugging Indian Computer Programmers by N. Sivakumar - 2004 - 189 pages
Debugging Sas Programs by Michele M. Burlew - 2001 - 354 pages
Debugging system 360/370 programs using OS and VS storage dumps by Daniel H. Rindfleisch - 1976 - 262 pages
Debugging techniques in large systems by Randall Rustin - 1971 - 148 pages
Debugging techniques in large systems by Randall Rustin - 1971 - 148 pages
Derivation and Validation of Software Metrics by Martin Shepperd, Darrel C. Ince - 1993 - 167 pages
Design Driven Testing by Matt Stephens, Doug Rosenberg - 2010 - 368 pages
Digital woes by Lauren Wiener - 1993 - 245 pages
Disaster Recovery for Exchange 2003 Databases by Kent Stern - 2006 - 298 pages
Effective Software Test Automation by Kanglin Li, Mengqi Wu - 2006 - 408 pages
Enhanced PC Troubleshooting Pocket Guide for Managing and Maintaining Your PC by Jean Andrews - 2000 - 176 pages
Experiences of Test Automation by Dorothy Graham, Mark Fewster - 2012 - 617 pages
Fatal defect by Ivars Peterson - 1995 - 260 pages
Fix Your Laser Printer And Save A Bundle by Paul Lapsansky - 2005 - 145 pages
Formal Approaches to Software Testing by Wolfgang Grieskamp, Carsten Weise - 2006 - 217 pages
Formal Approaches to Software Testing by Jens Grabowski, Brian Nielsen, Brian Nielsen (Ph. D.) - 2005 - 224 pages
Formal methods of program verification and specification by Helmut K. Berg - 1982 - 207 pages
Formal Verification of Object-Oriented Software by Bernhard Beckert, Claude Marché - 2011 - 199 pages
Functional program testing and analysis by William E. Howden - 1987 - 175 pages
Fundamentals of Performance Evaluation of Computer and Telecommunications Systems by Mohammed S. Obaidat, Noureddine A. Boudriga - 2010 - 300 pages
Fundamentals of Software Testing by Bernard Hom?s - 2013
Fundamentals of Software Testing by Bernard Hom?s - 2013
GDB Pocket Reference by Arnold Robbins - 2005 - 69 pages
Geeks On Call PC's by James T. Geier, Eric Geier, J. R. King - 2005 - 177 pages
Geeks On Call PC's by James T. Geier, Eric Geier, J. R. King - 2005 - 177 pages
Guide to Advanced Software Testing by Anne Mette Jonassen Hass - 2008 - 427 pages
Guide to Software Acceptance by Dolores R. Wallace, John C. Cherniavsky - 1990 - 34 pages
Guidelines for Formal Verification Systems by Barbara Mayer, Monica McGill Lu - 1989 - 35 pages
Handbook Computer Troubleshooting by Michael Byrd, Saigh - 2001 - 278 pages
Handbook of Research on Information Technology and Web Engineering by Ghazi Alkhatib, David C. Rine - 2009 - 369 pages
Hardware and Software, Verification and Testing by Eyal Bin, Avi Ziv, Shmuel Ur - 2007 - 234 pages
High Integrity Software by Victor L. Winter - 2001 - 320 pages
How We Test Software at Microsoft® by Alan Page, Ken Johnston, Bj Rollison - 2009 - 448 pages
Identifying Relevant Information for Testing Technique Selection by Sira Vegas, Natalia Juristo, Victor R. Basili - 2003 - 280 pages
If I only changed the software, why is the phone on fire? by Lisa K. Simone - 2007 - 283 pages
Independent Verification and Validation by Robert O. Lewis - 1992 - 356 pages
Instrumentation for future parallel computing systems by Margaret Simmons, Ingrid Bucher, Rebecca Koskela, Los Alamos National Laboratory - 1989 - 260 pages
Introduction to Reliable and Secure Distributed Programming by Christian Cachin - 2011 - 367 pages
Introduction to Software Testing by Paul Ammann, Jeff Offutt - 2008 - 322 pages
Introduction to T-BUG by Don Inman, Kurt Inman - 1979 - 120 pages
Iso 9000-3 by Ray Kehoe, Alka Shah-Jarvis - 1996 - 229 pages
ISO 9001 and software quality assurance by Darrel Ince - 1994 - 139 pages
IWSM-Mensura 2007 by Juan J. Cuadrado-Gallego - 2008 - 202 pages
Junit Recipes by Joe B. Rainsberger, Scott Stirling - 2005 - 721 pages
Kanban by David J Anderson - 2010 - 280 pages
Linguistic Fuzzy Logic Methods in Social Sciences by Badredine Arfi - 2010 - 270 pages
Linux Troubleshooting Bible by Christopher Negus, Thomas Weeks - 2004 - 598 pages
Linux Troubleshooting Bible by Christopher Negus, Thomas Weeks - 2004 - 624 pages
Managing the Testing Process by Rex Black - 2002 - 500 pages
Managing the Testing Process by Rex Black - 2002 - 500 pages
Mastering Redmine by Andriy Lesyuk - 2013 - 366 pages
Mathematical Approaches to Software Quality by Gerard O'Regan - 2006 - 231 pages
Mathematical Theory of Computation by Zohar Manna - 2003 - 448 pages
Mathematics of dependable systems by Chris Mitchell, Victoria Stavridou, Institute for Mathematics and Its Applications - 1995 - 295 pages
Maturing Usability by Effie Lai-Chong Law, Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton - 2008 - 429 pages
Measurement as a powerful software management tool by Nicholas Ashley - 1995 - 318 pages
Memory Dump Analysis Anthology, Volume 2 by Dmitry Vostokov - 2008 - 472 pages
Methods and Procedures for the Verification and Validation of Artificial Neural Networks by Brian J. Taylor - 2006 - 277 pages
Metrics and Models in Software Quality Engineering, Second Edition by Stephen H. Kan - 2003 - 528 pages
Microprocessor system debugging by Noordin Ghani, Edward Farrell - 1980 - 143 pages
Model Checking and Artificial Intelligence by Ron van der Meyden, Jan Smaus - 2011 - 131 pages
Model Checking Software by Alex Groce, Madanlal Musuvathi - 2011 - 195 pages
Model Checking Software by Corina S. Pasareanu - 2009 - 297 pages
Model Checking Software - 2007 - 283 pages
Model Checking Software by Antti Valmari - 2006 - 305 pages
Model Checking Software - 2004 - 307 pages
Model Checking Software by Dragan Bosnacki, Stefan Leue - 2002 - 257 pages
Model Checking Software by Dragan Bosnacki, Stefan Leue - 2002 - 257 pages
Model Checking Software by Matthew Dwyer - 2001 - 311 pages
Model Checking Software by Matthew Dwyer - 2001 - 311 pages
Model Cheking by Edmund M. Clarke, Orna Grumberg, Doron A. Peled - 1999 - 314 pages
Model-Based Software Performance Analysis by Vittorio Cortellessa - 2011 - 190 pages
Model-Based Software Testing and Analysis with C# by Jonathan Jacky - 2008 - 349 pages
Model-Based Testing of Reactive Systems by M. Broy - 2005 - 659 pages
Model-Based Testing of Reactive Systems by M. Broy - 2005 - 659 pages
Modeling and verification of real-time systems by Nicolas Navet, Stephan Merz - 2008 - 393 pages
Mutation Testing for the New Century by W. Eric Wong - 2001 - 118 pages
Official (ISC)2 Guide to the CSSLP by Mano Paul - 2011 - 572 pages
On-line electrical troubleshooting by Lynn Lundquist - 1988 - 221 pages
Part 11 and Computer Validation Guidebook by Daniel Farb, Daniel Farb, M.D., Bruce Gordon - 2005 - 323 pages
PC Troubleshooter's Resource Guide, Volume 4 by TechRepublic, Incorporated - 2004 - 206 pages
PC Troubleshooting Pocket Guide by Jean Andrews - 2003
PC User's Troubleshooting Guide by TechRepublic, Incorporated - 2003 - 234 pages
Performance Evaluation of Complex Systems: Techniques and Tools by Maria Carla Calzarossa, Salvatore Tucci - 2002 - 499 pages
Performance Evaluation of Complex Systems: Techniques and Tools by Maria Carla Calzarossa, Salvatore Tucci - 2002 - 499 pages
Performance Testing Guidance for Web Applications by Microsoft Corporation - 2010 - 288 pages
Performance Testing Microsoft® .NET Web Applications by MICROSOFT ACE TEAM - 2009 - 320 pages
Practical Guide to Software Quality Management, Second Edition by John W. Horch - 2003 - 286 pages
Pragmatic Software Testing by Rex Black - 2007 - 366 pages
Principles of Model Checking by Christel Baier, Joost-Pieter Katoen - 2008 - 975 pages
Principles of the Spin Model Checker by M. Ben-Ari - 2008 - 216 pages
Pro Android Apps Performance Optimization by Hervé Guihot - 2012 - 284 pages
Pro iOS Apps Performance Optimization by Khang Vo - 2011 - 284 pages
Proceedings of the Acm Sigplan and Sigops Workshop on Parallel and Distributed Debugging - 1988 - 282 pages
Proceedings of the ACM SIGSOFT '89 - 1989 - 229 pages
Process Assessment And Improvement by Han Van Loon - 2004 - 320 pages
Process Assessment and ISO/IEC 15504 by Han van Loon - 2007 - 297 pages
Process Assessment and ISO/Iec 15504 by Han Van Loon - 2004 - 280 pages
Process Quality Assurance for Uml-Based Projects by Bhuvan Unhelkar - 2003 - 394 pages
Professional Pen Testing for Web Applications by Andres Andreu - 2006 - 522 pages
Professional Software Testing with Visual Studio 2005 Team System by Tom Arnold, Dominic Hopton, Andy Leonard, Mike Frost - 2007 - 372 pages
Professional Software Testing with Visual Studio 2005 Team System by Tom Arnold, Dominic Hopton, Andy Leonard, Mike Frost - 2007 - 372 pages
Program debugging by Arthur Robert Brown, W. A. Sampson - 1973 - 166 pages
Program debugging environments by Beatrice Lazzerini, Lanfranco Lopriore - 1992 - 216 pages
Program style, design, efficiency, debugging, and testing by Dennie Van Tassel - 1978 - 323 pages
Program style, design, efficiency, debugging, and testing by Dennie Van Tassel - 1974 - 256 pages
Program test methods by William C. Hetzel - 1973 - 311 pages
Program test methods by William C. Hetzel - 1973 - 311 pages
Proving programs correct by Robert Brockett Anderson - 1979 - 184 pages
QoSA 2006 by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner - 2006 - 213 pages
QoSA 2007 by Sven Overhage, Ralf H. Reussner, Clemens A. Szyperski - 2008 - 249 pages
Quality management for software by Kevin Daily - 1992 - 185 pages
Quality of Software Architectures Models and Architectures by Steffen Becker, Frantisek Plasil, Ralf H. Reussner - 2008 - 234 pages
Quality Reliability And Information Technology by P. K. Kapur, Alok K. Verma - 2005 - 471 pages
Rating Maintenance Phase - 1994 - 85 pages
Recommended Practice for Software Reliability by American Institute of Aeronautics and Astronautics - 1993 - 70 pages
Reference Information for the Software Verification & Validation Process by Dolores R. Wallace, Laura M. Ippolito, Barbara B. Cuthill - 1996 - 85 pages
Reliability and robustness of engineering software II - 1991 - 387 pages
Reliability of Software Intensive Systems by Michael A. Friedman, Phuong Y. Tran, Peter L. Goddard - 1995 - 404 pages
Reliability of Software Intensive Systems by Michael A. Friedman, Phuong Y. Tran, Peter L. Goddard - 1995 - 404 pages
Reliable Software Technologies - Ada-Europe '99 by Michael Gonzalez Harbour - 1999 - 449 pages
Reliable Software Technologies - Ada-Europe '99 by Michael Gonzalez Harbour - 1999 - 449 pages
Reliable Software Technologies Ada-Europe 2000 by Hubert B Keller, Erhard Plödereder - 2000 - 304 pages
Secrets of Software Debugging by Truck Smith - 1984 - 276 pages
Selenium 1.0 Testing Tools by David Burns - 2010 - 232 pages
SEの「品質」力 by 内山幸央, 幸地司 - 2010 - 221 pages
Software Best Practice by M Haug, Eric W. Olsen, Lars Bergman - 2001 - 391 pages
Software Best Practice by Michael Haug, Eric W. Olsen, Luisa Consolini - 2001 - 302 pages
Software complexity by Horst Zuse - 1991 - 605 pages
Software complexity by Horst Zuse - 1991 - 605 pages
Software debugging for microcomputers by Robert C. Bruce - 1980 - 351 pages
Software debugging for microcomputers by Robert C. Bruce - 1980 - 351 pages
Software Defect and Operational Profile Modeling by Kai-Yuan Cai - 1998 - 268 pages
Software defect removal by Robert H. Dunn - 1984 - 331 pages
1 2