Title: Software-Implemented Hardware Fault Tolerance, Author: Olga Goloubeva
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
Title: Handbook of Software Quality Assurance, Author: G. Gordon Schulmeyer
Title: Testing R Code, Author: Richard Cotton
Explore Series
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
Title: Quarkus in Action, Author: Martin Stefanko
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: Guide to Advanced Software Testing, Author: Anne Mette J. Hass
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: Hardening Linux, Author: James Turnbull
Title: Applied Software Measurement: Global Analysis of Productivity and Quality, Author: Capers Jones
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
Title: Open Verification Methodology Cookbook, Author: Mark Glasser
Title: Testing And Quality Assurance For Component-Based Software, Author: Jerry Gao
Title: Using Aspect-Oriented Programming for Trustworthy Software Development, Author: Vladimir O. Safonov
Title: Manage Software Testing, Author: Peter Farrell-Vinay
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch

Pagination Links