Prikaz rezultata 2.401 – 2.410 od 3.416 za pretragu '"Software."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 2401

    Permissive interfaces. od Henzinger, Thomas A.

    Članak

    Permissive interfaces.
  2. 2402

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

    Članak

    Reasoning about confidentiality at requirements engineering time.
  3. 2403

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

    Članak

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

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

    Članak

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

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

    Članak

    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). od Shen, Junrong

    Članak

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

    Arithmetic program paths. od Renieris, Manos

    Članak

    Arithmetic program paths.
  8. 2408

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

    Članak

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

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

    Članak

    Performance data collection using a hybrid approach.
  10. 2410

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

    Članak

    Summarizing application performance from a components perspective.

Alati za pretragu: