9,381 - 9,390 toradh á dtaispeáint as 11,408 toradh san iomlán ar an gcuardach '"Model."', am iarratais: 0.04s Beachtaigh na torthaí
  1. 9381

    Fluent temporal logic for discrete-time event-based models. de réir Letier, Emmanuel

    Alt

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

    Relational analysis of algebraic datatypes. de réir Kuncak, Viktor

    Alt

    Relational analysis of algebraic datatypes.
  3. 9383

    Joining dataflow with predicates. de réir Fischer, Jeffrey

    Alt

    Joining dataflow with predicates.
  4. 9384

    CUTE a concolic unit testing engine for C. de réir Sen, Koushik

    Alt

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

    Reuse and variability in large software applications. de réir Estublier, Jacky

    Alt

    Reuse and variability in large software applications.
  6. 9386

    Inconsistency detection and resolution for context-aware middleware support. de réir Xu, Chang

    Alt

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

    CHARMY an extensible tool for architectural analysis. de réir Inverardi, Paola

    Alt

    CHARMY an extensible tool for architectural analysis.
  8. 9388

    Visual tool for generative programming. de réir Grigorenko, Pavel

    Alt

    Visual tool for generative programming.
  9. 9389

    Quantitative assessment of UML dynamic models. de réir Baroni, Aline Lúcia

    Alt

    Quantitative assessment of UML dynamic models.
  10. 9390

    Usage model-based automated testing of C++ templates. de réir Sayre, Kirk

    Alt

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

Uirlisí cuardaigh: