Dangos 31 - 40 canlyniadau o 63 ar gyfer chwilio '"Software / Program Verification."', amser ymholiad: 0.23e Mireinio'r Canlyniadau
  1. 31

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

    Erthygl

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

    Erthygl

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

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

    Erthygl

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

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

    Erthygl

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

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

    Erthygl

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

    Explaining abstract counterexamples. gan Chaki, Sagar

    Erthygl

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. gan Kremenek, Ted

    Erthygl

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. gan Kaveh, Nima

    Erthygl

    Deadlock detection in distribution object systems.
  9. 39

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

    Erthygl

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

    Interface automata. gan De Alfaro, Luca

    Erthygl

    Interface automata.

Offerynnau Chwilio: