Quick Search
Shop by Price
Featured Categories
Categories
Software Testing & Verification
|
Model-Driven Testing : Using the UML Testing Profile By: Paul Baker, Zhen Ru Dai, Jens Grabowski Format: Hardcover |
||||
|
|||||
Description:"This book is about systematic, model-driven test processes in the context of UML. As UML provides only limited means......ISBN: 9783540725626 |
|||||
|
Trustworthy Global Computing Editor: Donald Sannella, Ugo Montanari, Roberto L. Bruni Format: Paperback |
||||
|
|||||
Description:This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing,......ISBN: 9783540753339 |
|||||
|
Computer Aided Verification Editor: O. Grumberg, Orna Grumberg Format: Paperback |
||||
|
|||||
Description:This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided......ISBN: 9783540631668 |
|||||
|
Reliable Software Technologies - ADA-Europe '98 : 1998 ADA-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-1 By: I. Asplund Editor: G. Goos, J. Hartmanis, Jan Van Leeuwen Format: Paperback |
||||
|
|||||
Description:The 23 revised full papers presented together with two invited contributions were carefully selected by the program......ISBN: 9783540645368 |
|||||
|
Reliable Software Technologies - ADA-Europe '99 : 1999 ADA-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7- By: M. Gonzales Harbour, J. S. de La Puente Editor: Michael Gonzalez Harbour, J. Hartmanis, Jan Van Leeuwen Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software......ISBN: 9783540660934 |
|||||
|
Model-Based Software Testing and Analysis with C# By: Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Format: Hardcover |
||||
|
|||||
Description:Part I. Overview: 1. Describe, analyze, test; 2. Why we need model-based testing; 3. Why we need model-based analysis;......ISBN: 9780521886550 |
|||||
|
Objective Software Quality : Objective Quality : Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 3 Editor: Paolo Nesi, G. Goos, J. Hartmanis, Jan Van Leeuwen Format: Paperback |
||||
|
|||||
Description:This book is part of a series of eight providing profession-wide, consensus-based assessment of innovative site......ISBN: 9783540594499 |
|||||
|
Partial Evaluation. Practice and Theory : Diku 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 By: J. Hatcliff, T. Morgensen, P. Thiemann Editor: Peter Thiemann Format: Paperback |
||||
|
|||||
Description:Wirtschaftsjuristen, Rechtsanwälten, Richtern und allen, die sich mit Rechtsfragen zum Internet beschäftigen, wird mit......ISBN: 9783540667100 |
|||||
|
Identifying Relevant Information for Testing Technique Selection : An Instantiated Characterization Schema By: Sira Vegas, Natalia Juristo, Victor R. Basili Format: Hardcover |
||||
|
|||||
Description:List of Figures. List of Tables. Foreword. Preface. Acknowledgements. 1: Introduction. 1. Basics on Software Testing. 2.......ISBN: 9781402074356 |
|||||
|
Automated and Algorithmic Debugging : First International Workshop, Aadebug '93, Linkaping, Sweden, May 3-5, 1993. Proceedings Editor: Peter A. Fritzson Format: Paperback |
||||
|
|||||
Description:Debugging has always been a costly part of software development, and many attempts have been made to provide automatic......ISBN: 9783540574170 |
|||||
|
An Introduction to the PL/Cv2 Programming Logic By: R. L. Constable, S. D. Johnson, C. D. Eichenlaub Format: Paperback |
||||
|
|||||
|
ISBN: 9783540114925
|
|||||
|
Modular Compiler Verification By: Markus Muller-Olm, Muller-Olm, Markus Mller-Olm Editor: Jan Van Leeuwen Format: Paperback |
||||
|
|||||
Description:This is the first comprehensive book on hypermedia and the World Wide Web that includes features of the second......ISBN: 9783540634065 |
|||||
|
Computer Aided Verification : 6th International Conference, Cav '94, Stanford, California, USA, June 21-23, 1994. Proceedings Editor: David L. Dill Format: Paperback |
||||
|
|||||
Description:This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University......ISBN: 9783540581796 |
|||||
|
Handbook of Software Quality Assurance Editor: Gordon G. Schulmeyer Format: Hardcover |
||||
|
|||||
Description:Software Quality Program Organization. Software Quality Lessons From The Quality Experts. The Commercial Standards......ISBN: 9781596931862 |
|||||
|
Compiler Specification and Verification By: W. Polak Format: Paperback |
||||
|
|||||
|
ISBN: 9783540108863
|
|||||
|
Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings VE: Francesca Saglietti, Norbert Oster Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and......ISBN: 9783540751007 |
|||||
|
PC Troubleshooting Pocket Guide By: Jean Andrews Format: Paperback |
||||
|
|||||
|
ISBN: 9780619217679
|
|||||
|
ITC Guidelines on Computer-Based and Internet-Delivered Testing By: Coyne/Bartram Format: Paperback |
||||
|
|||||
|
ISBN: 9780805893649
|
|||||
|
Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes By: Fabian Wolf Format: Hardcover |
||||
|
|||||
Description:List of Figures. List of Tables. Foreword. Preface. Abstract. 1. Introduction. 2. Software Running Time Analysis. 3. A......ISBN: 9781402071355 |
|||||
|
Automated Defect Prevention : Best Practices in Software Management By: Dorota Huizinga, Adam Kolawa Format: Hardcover |
||||
|
|||||
Description:Preface. Features and Organization. Practice Descriptions. Intended audience. Acknowledgements. Permissions. Disclaimer.......ISBN: 9780470042120 |
|||||
Latest Publisher Releases
Click on the logos to see the latest releases from these leading Australian publishers and distributors.
