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

    Using symbolic execution for verifying safety-critical systems. অনুযায়ী Coen-Porisini, Alberto

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

    Using symbolic execution for verifying safety-critical systems.
  2. 42

    Modular verification of collaboration-based software designs. অনুযায়ী Fisler, Kathi

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

    Modular verification of collaboration-based software designs.
  3. 43

    Automatic abstraction for model checking software systems with interrelated numeric constraints. অনুযায়ী Choi, Yunja

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  4. 44

    An industrial case study of implementing software risk management. অনুযায়ী Freimut, Bernd

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

    An industrial case study of implementing software risk management.
  5. 45

    An empirical methodology for introducing software processes. অনুযায়ী Shull, Forrest

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

    An empirical methodology for introducing software processes.
  6. 46

    A specification-based approach to reasoning about pointers. অনুযায়ী Kulczycki, Gregory

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

    A specification-based approach to reasoning about pointers.
  7. 47

    Specification and verification of inter-component constraints in CTL. অনুযায়ী Thang, Nguyen Truong

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

    Specification and verification of inter-component constraints in CTL.
  8. 48

    Non-null references by default in the Java modeling language. অনুযায়ী Chalin, Patrice

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

    Non-null references by default in the Java modeling language.
  9. 49

    Specification and design of component-based coordination systems by integrating coordination patterns. অনুযায়ী Pérez-Serrano, Pedro L.

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

    Specification and design of component-based coordination systems by integrating coordination patterns.
  10. 50

    Constraint satisfaction techniques for diagnosing errors in design by contract software. অনুযায়ী Ceballos, Rafael

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

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

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