Отображение 41 - 50 результаты of 63 для поиска '"Software / Program Verification."', время запроса: 0.01сек. Отмена результатов
  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.

Инструменты поиска: