検索結果 10,581 - 10,590 結果 / 11,406 検索語 '"Models."', 処理時間: 0.04秒 結果の絞り込み
  1. 10581

    Generalizing symbolic execution to library classes. 著者: Khurshid, Sarfraz

    論文

    Generalizing symbolic execution to library classes.
  2. 10582

    Importance of software component characterization for better software reusability. 著者: Gill, Nasib S.

    論文

    Importance of software component characterization for better software reusability.
  3. 10583

    An expert committee model to estimate lines of code. 著者: Aggarwal, K. K.

    論文

    An expert committee model to estimate lines of code.
  4. 10584

    Verifying aspect advice modularly. 著者: Krishnamurthi, Shriram

    論文

    Verifying aspect advice modularly.
  5. 10585

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. 著者: Giese, Holger

    論文

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  6. 10586

    A type system for object models. 著者: Edwards, Jonathan

    論文

    A type system for object models.
  7. 10587

    Heuristic-guided counterexample search in FLAVERS. 著者: Tan, Jianbin

    論文

    Heuristic-guided counterexample search in FLAVERS.
  8. 10588

    Relevancy based semantic interoperation of reuse repositories. 著者: Pan, Ying

    論文

    Relevancy based semantic interoperation of reuse repositories.
  9. 10589

    The programmer life-cycle. 著者: Ovans, Russell

    論文

    The programmer life-cycle.
  10. 10590

    Application performance on the Direct Access File System. 著者: Fedorova, Alexandra

    論文

    Application performance on the Direct Access File System.

検索ツール: