Visas 71 - 80 av 83 resultat för sökning 'IEEE Transactions on software engineering', Sökningstid: 0,02s Förfina resultatet
  1. 71

    Dynamic adaptation and deployment of distributed components in Hadas. av Ben-Shaul, I.

    Artikel

    Dynamic adaptation and deployment of distributed components in Hadas.
  2. 72

    Modeling software measurement data. av Kitchenham, B.A

    Artikel

    Modeling software measurement data.
  3. 73

    Bounding cache-related preemption delay for real-time systems. av Chang-Gun Lee

    Artikel

    Bounding cache-related preemption delay for real-time systems.
  4. 74

    The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. av Cugola, G.

    Artikel

    The JEDI event-based infrastructure and its application to the development of the OPSS WFMS.
  5. 75

    Evaluating capture-recapture models with two inspectors. av El Emam, K.

    Artikel

    Evaluating capture-recapture models with two inspectors.
  6. 76

    Defining and applying measures of distance between specifications. av Jilani, L.L

    Artikel

    Defining and applying measures of distance between specifications.
  7. 77

    Techniques to tackle state explosion in global predicate detection. av Alagar, S.

    Artikel

    Techniques to tackle state explosion in global predicate detection.
  8. 78

    Reversible debugging using program instrumentation. av Shyh-Kwei Chen

    Artikel

    Reversible debugging using program instrumentation.
  9. 79

    Static analysis and dynamic steering of time-dependent systems. av Vicario, E.

    Artikel

    Static analysis and dynamic steering of time-dependent systems.
  10. 80

    Formal analysis of a space-craft controller using SPIN. av Havelund, K.

    Artikel

    Formal analysis of a space-craft controller using SPIN.

Sökverktyg: