Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: A Practitioner's Guide to Software Test Design, Author: Lee Copeland
Title: Achieving Safety and Reliability with Computer Systems, Author: B.K. Daniels
Title: Adaptive Control Approach For Software Quality Improvement, Author: W Eric Wong
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. Lïpez
Title: Agile Testing: How to Succeed in an Extreme Testing Environment, Author: John Watkins
Title: Artificial Intelligence Methods In Software Testing, Author: Mark Last
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
Title: Communication Protocol Specification and Verification, Author: Richard Lai
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Designing Maintainable Software, Author: Dennis D. Smith
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Essential Software Testing: A Use-Case Approach, Author: Greg Fournier

Pagination Links