Software Quality Approaches: Testing, Verification, and Validation

EISBN:9783642566127
PISBN:9783540417842
出版社:Springer Berlin Heidelberg
出版类型:Professional book
出版时间:2001
版次:1
作者:Michael Haug,Eric W. Olsen,Luisa Consolini
主题词:Software Engineering,Management of Computing and Information Systems,Business Information Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Software Quality Approaches: Testing, Verification, and Validation

  • 作者:Michael Haug,Eric W. Olsen,Luisa Consolini
  • EISBN:9783642566127
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Software Verification and Validation

  • 作者:Marcus S. Fisher
  • EISBN:9780387479392
  • 出版社:Springer US
  • 出版时间:2007

Formal Approaches to Software Testing and Runtime Verification

  • 作者:Klaus Havelund,Manuel Núñez,Grigore Roşu,Burkhart Wolff
  • EISBN:9783540497035
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Hardware and Software: Verification and Testing

  • 作者:Kerstin Eder,João Lourenço,Onn Shehory
  • EISBN:9783642341885
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Hardware and Software: Verification and Testing

  • 作者:Kedar Namjoshi,Andreas Zeller,Avi Ziv
  • EISBN:9783642192371
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Hardware and Software: Verification and Testing

  • 作者:Sharon Barner,Ian Harris,Daniel Kroening,Orna Raz
  • EISBN:9783642195839
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011