31 - 40 toradh á dtaispeáint as 63 toradh san iomlán ar an gcuardach '"Software/program verification."', am iarratais: 0.02s Beachtaigh na torthaí
  1. 31

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. de réir Lakey, Peter B.

    Alt

    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. de réir Feng, Yaodong

    Alt

    Exception handling in component composition with the support of middleware.
  3. 33

    Advances in model-based software testing (A-MOST). de réir Dalal, Siddhartha R.

    Alt

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

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. de réir Dingel, Juergen

    Alt

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

    PSE explaining program failures via postmortem static analysis. de réir Manevich, Roman

    Alt

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

    Explaining abstract counterexamples. de réir Chaki, Sagar

    Alt

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. de réir Kremenek, Ted

    Alt

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. de réir Kaveh, Nima

    Alt

    Deadlock detection in distribution object systems.
  9. 39

    Increasing client-side confidence in remote component implementations. de réir Jagannathan, Ramesh

    Alt

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

    Interface automata. de réir De Alfaro, Luca

    Alt

    Interface automata.

Uirlisí cuardaigh: