প্রদর্শন 1 - 10 ফলাফল এর 63 অনুসন্ধানের জন্য '"Software / Program Verification."', জিজ্ঞাসা করার সময়: 0.03সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Kode vicious bugs out. অনুযায়ী Neville-Neil, George

    প্রকাশিত ACM queue : architecting tomorrow's computing. (2006)
    প্রবন্ধ

    Kode vicious bugs out.
  2. 2

    Compliance deconstructed. অনুযায়ী Cannon, J.C

    প্রকাশিত ACM queue : architecting tomorrow's computing. (2006)
    প্রবন্ধ

    Compliance deconstructed.
  3. 3

    Review of "Working effectively with legacy code by Michael Feathers". অনুযায়ী Berzal, Fernando

    প্রকাশিত ACM queue : architecting tomorrow's computing. (2005)
    প্রবন্ধ

    Review of "Working effectively with legacy code by Michael Feathers".
  4. 4

    Stop whining about outsourcing!. অনুযায়ী Patterson, David

    প্রকাশিত ACM queue : architecting tomorrow's computing. (2005)
    প্রবন্ধ

    Stop whining about outsourcing!.
  5. 5

    Software verification and validation with destiny a parallel approach to automated theorem proving. অনুযায়ী Dykstra, Josiah

    প্রকাশিত Crossroads : the ACM student magazine.
    প্রবন্ধ

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  6. 6

    Assume-guarantee testing. অনুযায়ী Blundell, Colin

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Assume-guarantee testing.
  7. 7

    Component-interaction automata as a verification-oriented component-based system specification. অনুযায়ী Brim, Lubo?

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Component-interaction automata as a verification-oriented component-based system specification.
  8. 8

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. অনুযায়ী Saur, Joe

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality.
  9. 9

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. অনুযায়ী Bradbury, Jeremy S.

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  10. 10

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. অনুযায়ী Liang, Donglin

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.

অনুসন্ধান সাধনীগুলি: