Title: Software-Implemented Hardware Fault Tolerance, Author: Olga Goloubeva
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
Title: Essential Software Testing: A Use-Case Approach, Author: Greg Fournier
Title: Experimentation in Software Engineering: An Introduction, Author: Claes Wohlin
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Fundamentals of Software Testing, Author: Bernard HomĆØs
Title: Practical Guide To Software Quality Management, Author: John W. Horch
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Incremental Software Architecture: A Method for Saving Failing IT Implementations, Author: Michael Bell
Title: Six Sigma Software Development, Author: Christine B. Tayntor
Title: Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs, Author: Subhajit Datta
Title: Software Testing for Conventional and Logic Programming, Author: Oliver Jack
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns, Author: Said Hamdioui
Title: Guide to Advanced Software Testing, Author: Anne Mette Jonassen Hass
Title: Software Reliability Handbook, Author: Rook
Title: Mutation Testing for the New Century, Author: W. Eric Wong
Title: Software Verification and Validation: An Engineering and Scientific Approach, Author: Marcus S. Fisher

Pagination Links