প্রদর্শন 31 - 40 ফলাফল এর 69 অনুসন্ধানের জন্য '"Program verification."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 31

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. অনুযায়ী Li, Zhenmin

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

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code.
  2. 32

    Usage model-based automated testing of C++ templates. অনুযায়ী Sayre, Kirk

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

    Usage model-based automated testing of C++ templates.
  3. 33

    Model-based testing for applications derived from software product lines. অনুযায়ী Olimpiew, Erika Mir

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

    Model-based testing for applications derived from software product lines.
  4. 34

    Generating optimal distinguishing sequences with a model checker. অনুযায়ী Robinson-Mallett, Christopher

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

    Generating optimal distinguishing sequences with a model checker.
  5. 35

    Case studies on fault detection effectiveness of model based test generation techniques. অনুযায়ী Paradkar, Amit

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

    Case studies on fault detection effectiveness of model based test generation techniques.
  6. 36

    Modeling for image processing system validation, verification and testing. অনুযায়ী Li, Xing

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

    Modeling for image processing system validation, verification and testing.
  7. 37

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. অনুযায়ী Lakey, Peter B.

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

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.
  8. 38

    Exception handling in component composition with the support of middleware. অনুযায়ী Feng, Yaodong

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

    Exception handling in component composition with the support of middleware.
  9. 39

    Advances in model-based software testing (A-MOST). অনুযায়ী Dalal, Siddhartha R.

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

    Advances in model-based software testing (A-MOST).
  10. 40

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. অনুযায়ী Dingel, Juergen

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

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.

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