Gösterilen 981 - 990 sonuçlar arası kayıtlar. 1,827 sonuç. Aranan kelime '"Algorithm."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 981

    Reengineering towards components using "Reconn-exion". Yazar: Le Gear, Andrew

    Makale

    Reengineering towards components using "Reconn-exion".
  2. 982

    Test prioritization for pairwise interaction coverage. Yazar: Bryce, Renée C.

    Makale

    Test prioritization for pairwise interaction coverage.
  3. 983

    Generating optimal distinguishing sequences with a model checker. Yazar: Robinson-Mallett, Christopher

    Makale

    Generating optimal distinguishing sequences with a model checker.
  4. 984

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. Yazar: Bontemps, Yves

    Makale

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  5. 985

    Some agent theory for the semantic web. Yazar: Fass, Leona F.

    Makale

    Some agent theory for the semantic web.
  6. 986

    Surfing the net for software engineering notes. Yazar: Doernhoefer, Mark

    Makale

    Surfing the net for software engineering notes.
  7. 987

    Efficient incremental algorithms for dynamic detection of likely invariants. Yazar: Perkins, Jeff H.

    Makale

    Efficient incremental algorithms for dynamic detection of likely invariants.
  8. 988

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

    Makale

    PSE explaining program failures via postmortem static analysis.
  9. 989

    New software engineering faculty symposium (NSEFS 03). Yazar: Osterweil, Leon J.

    Makale

    New software engineering faculty symposium (NSEFS 03).
  10. 990

    Detecting implied scenarios in message sequence chart specifications. Yazar: Uchitel, Sebastian

    Makale

    Detecting implied scenarios in message sequence chart specifications.

Arama Araçları: