Treffer 9.381 - 9.390 von 11.409 für Suche '"Models"', Suchdauer: 0,03s Treffer weiter einschränken
  1. 9381

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

    Veröffentlicht in Software engineering notes.
    Artikel

    Reasoning about confidentiality at requirements engineering time.
  2. 9382

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Relational analysis of algebraic datatypes. von Kuncak, Viktor

    Veröffentlicht in Software engineering notes.
    Artikel

    Relational analysis of algebraic datatypes.
  4. 9384

    Joining dataflow with predicates. von Fischer, Jeffrey

    Veröffentlicht in Software engineering notes.
    Artikel

    Joining dataflow with predicates.
  5. 9385

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

    Reuse and variability in large software applications.
  7. 9387

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

    CHARMY an extensible tool for architectural analysis.
  9. 9389

    Visual tool for generative programming. von Grigorenko, Pavel

    Veröffentlicht in Software engineering notes.
    Artikel

    Visual tool for generative programming.
  10. 9390

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

    Veröffentlicht in Software engineering notes.
    Artikel

    Quantitative assessment of UML dynamic models.

Suchwerkzeuge: