Title: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
Title: Practical Guide To Software Quality Management / Edition 2, Author: John W. Horch
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
Title: Software Quality: Concepts and Practice / Edition 1, Author: Daniel Galin
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Software Verification and Validation: An Engineering and Scientific Approach / Edition 1, Author: Marcus S. Fisher
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Open Source Fuzzing Tools, Author: Noam Rathaus
Title: Applied Software Measurement: Global Analysis of Productivity and Quality / Edition 3, Author: Capers Jones
Title: Experimentation in Software Engineering: An Introduction / Edition 1, Author: Claes Wohlin
Title: Methods and Procedures for the Verification and Validation of Artificial Neural Networks / Edition 1, Author: Brian J. Taylor
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Edition 1, Author: Klaus Havelund
Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
Title: Fundamentals of Software Testing / Edition 1, Author: Bernard Homès
Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam

Pagination Links