Showing 11 - 20 results of 63 for search '"Software / Program Verification."', זמן שאילתה: 0.02s Refine Results
  1. 11

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

    הוצא לאור ב Software engineering notes.
    Article

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

    Invariants and state in testing and formal methods. מאת Hamlet, Dick

    הוצא לאור ב Software engineering notes.
    Article

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

    Symbolic path simulation in path-sensitive dataflow analysis. מאת Hampapuram, Hari

    הוצא לאור ב Software engineering notes.
    Article

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

    String analysis for x86 binaries. מאת Christodorescu, Mihai

    הוצא לאור ב Software engineering notes.
    Article

    String analysis for x86 binaries.
  5. 15

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

    הוצא לאור ב Software engineering notes.
    Article

    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. מאת Oquendo, Flavio

    הוצא לאור ב Software engineering notes.
    Article

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

    Engineering distributed software a structural discipline. מאת Kramer, Jeff

    הוצא לאור ב Software engineering notes.
    Article

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. מאת Henzinger, Thomas A.

    הוצא לאור ב Software engineering notes.
    Article

    Permissive interfaces.
  9. 19

    Fluent temporal logic for discrete-time event-based models. מאת Letier, Emmanuel

    הוצא לאור ב Software engineering notes.
    Article

    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). מאת Shen, Junrong

    הוצא לאור ב Software engineering notes.
    Article

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

כלי חיפוש: