Showing 9,381 - 9,390 results of 11,409 for search '"Modelling."', query time: 0.04s Refine Results
  1. 9381

    Reasoning about confidentiality at requirements engineering time. by De Landtsheer, Renaud

    Article

    Reasoning about confidentiality at requirements engineering time.
  2. 9382

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

    Article

    Fluent temporal logic for discrete-time event-based models.
  3. 9383

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  4. 9384

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  5. 9385

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

    Article

    CUTE a concolic unit testing engine for C.
  6. 9386

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

    Article

    Reuse and variability in large software applications.
  7. 9387

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

    Article

    Inconsistency detection and resolution for context-aware middleware support.
  8. 9388

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

    Article

    CHARMY an extensible tool for architectural analysis.
  9. 9389

    Visual tool for generative programming. by Grigorenko, Pavel

    Article

    Visual tool for generative programming.
  10. 9390

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

    Article

    Quantitative assessment of UML dynamic models.

Search Tools: