Mostrando 71 - 77 resultados de 77 para a busca '"IEEE Transactions on software engineering"', tempo de busca: 0.02s Refinar Resultados
  1. 71

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

    Artigo

    Techniques to tackle state explosion in global predicate detection.
  2. 72

    Reversible debugging using program instrumentation. por Shyh-Kwei Chen

    Artigo

    Reversible debugging using program instrumentation.
  3. 73

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

    Artigo

    Static analysis and dynamic steering of time-dependent systems.
  4. 74

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

    Artigo

    Formal analysis of a space-craft controller using SPIN.
  5. 75

    ERRATUM - Corrections to "modeling the dynamic behavior of hypermedia applications". por Diaz, P.

    Artigo

    ERRATUM - Corrections to "modeling the dynamic behavior of hypermedia applications".
  6. 76

    Does code decay? Assessing the evidence from change management data. por Eick, S.G

    Artigo

    Does code decay? Assessing the evidence from change management data.
  7. 77

    2000 Reviewers List.

    Artigo

    2000 Reviewers List.

Ferramentas de busca: