Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, Author: Lars Asplund
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Software Quality and Software Testing in Internet Times, Author: Dirk Meyerhoff
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects, Author: Jean-Jacques Pierre Henry
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
Title: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers, Author: Martin Leucker
Title: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, Author: Johann Blieberger
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
Title: Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings, Author: Takashi Nanya
Title: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, Author: Rune Winther
Title: Software Testing for Managers: An Introduction to Strategies, Technologies, and Best Practices, Author: Ross Radford
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki

Pagination Links