Mostrando 2,401 - 2,410 Resultados de 3,416 Para Buscar '"Software"', tiempo de consulta: 0.03s Limitar resultados
  1. 2401

    Permissive interfaces. por Henzinger, Thomas A.

    Artículo

    Permissive interfaces.
  2. 2402

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

    Artículo

    Reasoning about confidentiality at requirements engineering time.
  3. 2403

    Detecting and resolving semantic pathologies in UML sequence diagrams. por Baker, Paul

    Artículo

    Detecting and resolving semantic pathologies in UML sequence diagrams.
  4. 2404

    A case study on value-based requirements tracing. por Heindl, Matthias

    Artículo

    A case study on value-based requirements tracing.
  5. 2405

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

    Artículo

    Fluent temporal logic for discrete-time event-based models.
  6. 2406

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). por Shen, Junrong

    Artículo

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).
  7. 2407

    Arithmetic program paths. por Renieris, Manos

    Artículo

    Arithmetic program paths.
  8. 2408

    Context- and path-sensitive memory leak detection. por Xie, Yichen

    Artículo

    Context- and path-sensitive memory leak detection.
  9. 2409

    Performance data collection using a hybrid approach. por Metz, Edu

    Artículo

    Performance data collection using a hybrid approach.
  10. 2410

    Summarizing application performance from a components perspective. por Srinivas, Kavitha

    Artículo

    Summarizing application performance from a components perspective.

Herramientas de búsqueda: