Résultat(s) 31 - 40 résultats de 63 pour la requête '"Software/Program Verification."', Temps de recherche: 0,02s Affiner les résultats
  1. 31

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

    Article

    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. par Feng, Yaodong

    Article

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

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

    Article

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

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. par Dingel, Juergen

    Article

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

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

    Article

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

    Explaining abstract counterexamples. par Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. par Kremenek, Ted

    Article

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. par Kaveh, Nima

    Article

    Deadlock detection in distribution object systems.
  9. 39

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

    Article

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

    Interface automata. par De Alfaro, Luca

    Article

    Interface automata.

Outils de recherche: