Kết quả tìm kiếm - "Software Validation"

  1. 1
    Ảnh bìa

    General principles of software validation : final guidance for industry and FDA staff.

    Được phát hành 2002
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ảnh bìa

    Software validation, verification, and testing technique and tool reference guide / Patricia B. Powell.

    Được phát hành 1982
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Ảnh bìa

    Software validation, verification, testing, and documentation / edited by Stephen J. Andriole.

    Được phát hành c1986
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Ảnh bìa

    Bridge software : validation guidelines and examples / Michael Baker, Jr., Inc. [and others].

    Được phát hành 2003
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Ảnh bìa

    Planning for software validation, verification, and testing Patricia B. Powell, editor. [microform] /

    Được phát hành 1982
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Ảnh bìa

    Embedded systems and software validation / Abhik Roychoudhury.

    Được phát hành ©2009
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Ảnh bìa

    A survey of software validation, verification, and testing standards and practices at selected sites / Mark K. Smith; Donna R. Hudson.

    Được phát hành 1982
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Ảnh bìa

    Software validation, verification, and testing technique and tool reference guide Patricia B. Powell, editor. [microform] /

    Được phát hành 1982
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Ảnh bìa

    Space shuttle, NASA should implement independent oversight of software development : report to the chairman, Committee on Science, Space, and Technology, House of Representatives.

    Được phát hành 1991
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Ảnh bìa

    New trends in software methodologies, tools and techniques : proceedings of the fifth SoMeT 06 / edited by Hamido Fujita and Mohamed Mejri.

    Được phát hành ©2006
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Ảnh bìa

    Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 / organize...

    Được phát hành 1984
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Ảnh bìa

    Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings...

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Ảnh bìa

    Verification and validation in systems engineering : assessing UML/SysML design models / Mourad Debbabi [and others].

    Được phát hành ©2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Ảnh bìa

    Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / Roberto Giacobazzi, Josh Berd...

    Được phát hành ©2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Ảnh bìa

    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Herm...

    Được phát hành ©2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Ảnh bìa

    Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice...

    Được phát hành ©2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    Ảnh bìa

    Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Bie...

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Ảnh bìa

    Testing--practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010 : proceedings / Leonardo Bottaci,...

    Được phát hành ©2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Ảnh bìa

    Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulr...

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    Ảnh bìa

    Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Valeria Bertacco, Axe...

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:

Công cụ tìm kiếm: