Showing 10,581 - 10,590 results of 11,406 for search '"Model."', query time: 0.04s Refine Results
  1. 10581

    Generalizing symbolic execution to library classes. by Khurshid, Sarfraz

    Article

    Generalizing symbolic execution to library classes.
  2. 10582

    Importance of software component characterization for better software reusability. by Gill, Nasib S.

    Article

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

    An expert committee model to estimate lines of code. by Aggarwal, K. K.

    Article

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

    Verifying aspect advice modularly. by Krishnamurthi, Shriram

    Article

    Verifying aspect advice modularly.
  5. 10585

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

    Article

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

    A type system for object models. by Edwards, Jonathan

    Article

    A type system for object models.
  7. 10587

    Heuristic-guided counterexample search in FLAVERS. by Tan, Jianbin

    Article

    Heuristic-guided counterexample search in FLAVERS.
  8. 10588

    Relevancy based semantic interoperation of reuse repositories. by Pan, Ying

    Article

    Relevancy based semantic interoperation of reuse repositories.
  9. 10589

    The programmer life-cycle. by Ovans, Russell

    Article

    The programmer life-cycle.
  10. 10590

    Application performance on the Direct Access File System. by Fedorova, Alexandra

    Article

    Application performance on the Direct Access File System.

Search Tools: