Showing 11 - 20 results of 63 for search '"Software / Program Verification."', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 11

    Link-time static analysis for efficient separate compilation of object-oriented languages. द्वारा Privat, Jean

    में प्रकाशित Software engineering notes.
    लेख

    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.
    लेख

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

    Symbolic path simulation in path-sensitive dataflow analysis. द्वारा Hampapuram, Hari

    में प्रकाशित Software engineering notes.
    लेख

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

    String analysis for x86 binaries. द्वारा Christodorescu, Mihai

    में प्रकाशित Software engineering notes.
    लेख

    String analysis for x86 binaries.
  5. 15

    Static control-flow analysis for reverse engineering of UML sequence diagrams. द्वारा Rountev, Atanas

    में प्रकाशित Software engineering notes.
    लेख

    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.
    लेख

    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.
    लेख

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. द्वारा Henzinger, Thomas A.

    में प्रकाशित Software engineering notes.
    लेख

    Permissive interfaces.
  9. 19

    Fluent temporal logic for discrete-time event-based models. द्वारा Letier, Emmanuel

    में प्रकाशित Software engineering notes.
    लेख

    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.
    लेख

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

खोज साधन: