Mostrar 9,381 - 9,390 resultats de 11,407 per cerca '"Modeling."', hora de la petició: 0.03sec Refinar resultats
  1. 9381

    Relational analysis of algebraic datatypes. per Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  2. 9382

    Joining dataflow with predicates. per Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  3. 9383

    CUTE a concolic unit testing engine for C. per Sen, Koushik

    Article

    CUTE a concolic unit testing engine for C.
  4. 9384

    Reuse and variability in large software applications. per Estublier, Jacky

    Article

    Reuse and variability in large software applications.
  5. 9385

    Inconsistency detection and resolution for context-aware middleware support. per Xu, Chang

    Article

    Inconsistency detection and resolution for context-aware middleware support.
  6. 9386

    CHARMY an extensible tool for architectural analysis. per Inverardi, Paola

    Article

    CHARMY an extensible tool for architectural analysis.
  7. 9387

    Visual tool for generative programming. per Grigorenko, Pavel

    Article

    Visual tool for generative programming.
  8. 9388

    Quantitative assessment of UML dynamic models. per Baroni, Aline Lúcia

    Article

    Quantitative assessment of UML dynamic models.
  9. 9389

    Usage model-based automated testing of C++ templates. per Sayre, Kirk

    Article

    Usage model-based automated testing of C++ templates.
  10. 9390

    A simulation model of a multi-server EJB system. per Mc Guinness, David

    Article

    A simulation model of a multi-server EJB system.

Eines de cerca: