Erakusten 11 - 20 emaitzak -- 63 bilaketa honetara '"Software/program verification."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 11

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    String analysis for x86 binaries. nork Christodorescu, Mihai

    Argitaratua izan da Software engineering notes.
    Artikulua

    String analysis for x86 binaries.
  5. 15

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Engineering distributed software a structural discipline. nork Kramer, Jeff

    Argitaratua izan da Software engineering notes.
    Artikulua

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. nork Henzinger, Thomas A.

    Argitaratua izan da Software engineering notes.
    Artikulua

    Permissive interfaces.
  9. 19

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

Bilaketa egiteko lanabesak: