Zobrazuji výsledky 11 - 20 z 63 pro vyhledávání '"Software/Program Verification."', doba hledání: 0,02 s. Upřesnit hledání
  1. 11

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

    Článek

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

    Invariants and state in testing and formal methods. Autor Hamlet, Dick

    Článek

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

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

    Článek

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

    String analysis for x86 binaries. Autor Christodorescu, Mihai

    Článek

    String analysis for x86 binaries.
  5. 15

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

    Článek

    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. Autor Oquendo, Flavio

    Článek

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

    Engineering distributed software a structural discipline. Autor Kramer, Jeff

    Článek

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. Autor Henzinger, Thomas A.

    Článek

    Permissive interfaces.
  9. 19

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

    Článek

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

    Článek

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

Vyhledávací nástroje: