Mostrando 61 - 70 Resultados de 77 Para Buscar '"IEEE Transactions on software engineering"', tiempo de consulta: 0.02s Limitar resultados
  1. 61

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

    Artículo

    Formal analysis of a space-craft controller using SPIN.
  2. 62

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

    Artículo

    ERRATUM - Corrections to "modeling the dynamic behavior of hypermedia applications".
  3. 63

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

    Artículo

    Does code decay? Assessing the evidence from change management data.
  4. 64

    Design and implementation of a VBR continuous media file server. por Makaroff, D.

    Artículo

    Design and implementation of a VBR continuous media file server.
  5. 65

    The generic consensus service. por Guerraoui, R.

    Artículo

    The generic consensus service.
  6. 66

    Toward a mathematical foundation of software engineering methods. por Broy, M.

    Artículo

    Toward a mathematical foundation of software engineering methods.
  7. 67

    Toward reference models for requirements traceability. por Ramesh, B.

    Artículo

    Toward reference models for requirements traceability.
  8. 68

    2000 Reviewers List.

    Artículo

    2000 Reviewers List.
  9. 69

    The Mobius framework and its implementation. por Deavours, D.D

    Artículo

    The Mobius framework and its implementation.
  10. 70

    Recovering traceability links between code and documentation. por Antoniol, G.

    Artículo

    Recovering traceability links between code and documentation.

Herramientas de búsqueda: