Arama Sonuçları - "Software Validation"

  1. 1
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2002
    Kitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

    Planning for software validation, verification, and testing Patricia B. Powell, editor.

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

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

    Baskı/Yayın Bilgisi c1986
    Kitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2003
    Kitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

    Embedded systems and software validation / Abhik Roychoudhury.

    Baskı/Yayın Bilgisi ©2009
    Kitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1991
    Kitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©2006
    Kitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

    Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).

    Baskı/Yayın Bilgisi ©2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

    Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

    Baskı/Yayın Bilgisi 2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  15. 15
    Kapak Resmi

    Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings / Ana Cavalcanti [and others] (ed...

    Baskı/Yayın Bilgisi 2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  16. 16
    Kapak Resmi

    Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish...

    Baskı/Yayın Bilgisi 2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  17. 17
    Kapak Resmi

    Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.).

    Baskı/Yayın Bilgisi ©2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  18. 18
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  19. 19
    Kapak Resmi

    Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.).

    Baskı/Yayın Bilgisi ©2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  20. 20
    Kapak Resmi

    Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / Paulo Borba...

    Baskı/Yayın Bilgisi ©2010
    Kitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: