Gösterilen 11 - 20 sonuçlar arası kayıtlar. 63 sonuç. Aranan kelime '"Software / Program Verification."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 11

    Link-time static analysis for efficient separate compilation of object-oriented languages. Yazar: Privat, Jean

    Makale

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  2. 12

    Invariants and state in testing and formal methods. Yazar: Hamlet, Dick

    Makale

    Invariants and state in testing and formal methods.
  3. 13

    Symbolic path simulation in path-sensitive dataflow analysis. Yazar: Hampapuram, Hari

    Makale

    Symbolic path simulation in path-sensitive dataflow analysis.
  4. 14

    String analysis for x86 binaries. Yazar: Christodorescu, Mihai

    Makale

    String analysis for x86 binaries.
  5. 15

    Static control-flow analysis for reverse engineering of UML sequence diagrams. Yazar: Rountev, Atanas

    Makale

    Static control-flow analysis for reverse engineering of UML sequence diagrams.
  6. 16

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. Yazar: Oquendo, Flavio

    Makale

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  7. 17

    Engineering distributed software a structural discipline. Yazar: Kramer, Jeff

    Makale

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. Yazar: Henzinger, Thomas A.

    Makale

    Permissive interfaces.
  9. 19

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

    Makale

    Fluent temporal logic for discrete-time event-based models.
  10. 20

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

    Makale

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

Arama Araçları: