Отображение 211 - 220 результаты of 242 для поиска '"Verification."', время запроса: 0.02сек. Отмена результатов
  1. 211

    A classification system and analysis for aspect-oriented programs. по Rinard, Martin

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

    A classification system and analysis for aspect-oriented programs.
  2. 212

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. по Giese, Holger

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

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  3. 213

    A type system for object models. по Edwards, Jonathan

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

    A type system for object models.
  4. 214

    Heuristic-guided counterexample search in FLAVERS. по Tan, Jianbin

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

    Heuristic-guided counterexample search in FLAVERS.
  5. 215

    Scaling regression testing to large software systems. по Orso, Alessandro

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

    Scaling regression testing to large software systems.
  6. 216

    A low-jitter mutual-correlated pulsewidth control loop circuit. по Wei-Ming Lin

    Опубликовано в: IEEE Journal of solid state circuits
    Статья

    A low-jitter mutual-correlated pulsewidth control loop circuit.
  7. 217

    An operational process for goal-driven definition of measures. по Briand, L.C

    Опубликовано в: IEEE Transactions on software engineering
    Статья

    An operational process for goal-driven definition of measures.
  8. 218

    A logical theory of interfaces and objects. по Alencar, P.S.C

    Опубликовано в: IEEE Transactions on software engineering
    Статья

    A logical theory of interfaces and objects.
  9. 219

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs. по Iyer, S.

    Опубликовано в: IEEE Transactions on software engineering
    Статья

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs.
  10. 220

    Speech recognition and utterance verification based on a generalized confidence score. по Myoung-Wan Koo

    Статья

    Speech recognition and utterance verification based on a generalized confidence score.

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