Dangos 9,381 - 9,390 canlyniadau o 11,408 ar gyfer chwilio '"Modeling"', amser ymholiad: 0.04e Mireinio'r Canlyniadau
  1. 9381

    Fluent temporal logic for discrete-time event-based models. gan Letier, Emmanuel

    Erthygl

    Fluent temporal logic for discrete-time event-based models.
  2. 9382

    Relational analysis of algebraic datatypes. gan Kuncak, Viktor

    Erthygl

    Relational analysis of algebraic datatypes.
  3. 9383

    Joining dataflow with predicates. gan Fischer, Jeffrey

    Erthygl

    Joining dataflow with predicates.
  4. 9384

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

    Erthygl

    CUTE a concolic unit testing engine for C.
  5. 9385

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

    Erthygl

    Reuse and variability in large software applications.
  6. 9386

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

    Erthygl

    Inconsistency detection and resolution for context-aware middleware support.
  7. 9387

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

    Erthygl

    CHARMY an extensible tool for architectural analysis.
  8. 9388

    Visual tool for generative programming. gan Grigorenko, Pavel

    Erthygl

    Visual tool for generative programming.
  9. 9389

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

    Erthygl

    Quantitative assessment of UML dynamic models.
  10. 9390

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

    Erthygl

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

Offerynnau Chwilio: