Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
Title: Software-Implemented Hardware Fault Tolerance, Author: Olga Goloubeva
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
Title: Testing And Quality Assurance For Component-Based Software, Author: Jerry Gao
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
Title: New Trends in Software Methodologies, Tools and Techniques: Proceedings of Lyee-w02, Author: SAGE Publications
Title: Testing Object-Oriented Software: Life Cycle Solutions, Author: Imran Bashir
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Title: Essential Software Testing: A Use-Case Approach, Author: Greg Fournier
Title: Artificial Intelligence Methods In Software Testing, Author: Mark Last
Title: Practical Software Testing: A Process-Oriented Approach, Author: Ilene Burnstein
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
Title: ISO 9000-3: A Tool for Software Product and Process Improvement, Author: Raymond Kehoe
Title: Software Reliability Methods, Author: Doron A. Peled
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
Title: Evaluating Software Architectures: Methods and Case Studies / Edition 1, Author: Paul Clements
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever

Pagination Links