Εμφανίζονται 11 - 20 Αποτελέσματα από 63 για την αναζήτηση '"Software / Program Verification."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  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).

Εργαλεία αναζήτησης: