Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
Title: Communication Protocol Specification and Verification, Author: Richard Lai
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
Title: System-level Test and Validation of Hardware/Software Systems, Author: Matteo Sonza Reorda
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Mutation Testing for the New Century, Author: W. Eric Wong
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, Author: Khaled El Emam
Title: Software Quality: Concepts and Practice, Author: Daniel Galin
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: Guide to Advanced Software Testing, Author: Anne Mette Jonassen Hass
Title: Measurement for Software Control and Assurance, Author: B.A. Kitchenham
Title: Successful Evolution of Software Systems, Author: Hongji Yang
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects, Author: Jean-Jacques Pierre Henry
Title: Adaptive Control Approach For Software Quality Improvement, Author: W Eric Wong
Title: ISO 9000-3: A Tool for Software Product and Process Improvement, Author: Raymond Kehoe
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, Author: Michael Yoeli
Title: Quality of Numerical Software: Assessment and enhancement, Author: Ronald F. Boisvert
Title: Guide to Advanced Software Testing, Author: Anne Mette J. Hass

Pagination Links