Отображение 31 - 40 результаты of 63 для поиска '"Software/program verification."', время запроса: 0.02сек. Отмена результатов
  1. 31

    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.
  2. 32

    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.
  3. 33

    Advances in model-based software testing (A-MOST). по Dalal, Siddhartha R.

    Опубликовано в: Software engineering notes.
    Статья

    Advances in model-based software testing (A-MOST).
  4. 34

    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.
  5. 35

    PSE explaining program failures via postmortem static analysis. по Manevich, Roman

    Опубликовано в: Software engineering notes.
    Статья

    PSE explaining program failures via postmortem static analysis.
  6. 36

    Explaining abstract counterexamples. по Chaki, Sagar

    Опубликовано в: Software engineering notes.
    Статья

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. по Kremenek, Ted

    Опубликовано в: Software engineering notes.
    Статья

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. по Kaveh, Nima

    Опубликовано в: Software engineering notes.
    Статья

    Deadlock detection in distribution object systems.
  9. 39

    Increasing client-side confidence in remote component implementations. по Jagannathan, Ramesh

    Опубликовано в: Software engineering notes.
    Статья

    Increasing client-side confidence in remote component implementations.
  10. 40

    Interface automata. по De Alfaro, Luca

    Опубликовано в: Software engineering notes.
    Статья

    Interface automata.

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