يعرض 21 - 30 نتائج من 69 نتيجة بحث عن '"Program verification."', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 21

    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.
  2. 22

    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.
  3. 23

    Engineering distributed software a structural discipline. حسب Kramer, Jeff

    الحاوية / القاعدة Software engineering notes.
    مقال

    Engineering distributed software a structural discipline.
  4. 24

    Permissive interfaces. حسب Henzinger, Thomas A.

    الحاوية / القاعدة Software engineering notes.
    مقال

    Permissive interfaces.
  5. 25

    Fluent temporal logic for discrete-time event-based models. حسب Letier, Emmanuel

    الحاوية / القاعدة Software engineering notes.
    مقال

    Fluent temporal logic for discrete-time event-based models.
  6. 26

    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).
  7. 27

    Context- and path-sensitive memory leak detection. حسب Xie, Yichen

    الحاوية / القاعدة Software engineering notes.
    مقال

    Context- and path-sensitive memory leak detection.
  8. 28

    Relational analysis of algebraic datatypes. حسب Kuncak, Viktor

    الحاوية / القاعدة Software engineering notes.
    مقال

    Relational analysis of algebraic datatypes.
  9. 29

    Lightweight object specification with typestates. حسب Bierhoff, Kevin

    الحاوية / القاعدة Software engineering notes.
    مقال

    Lightweight object specification with typestates.
  10. 30

    Joining dataflow with predicates. حسب Fischer, Jeffrey

    الحاوية / القاعدة Software engineering notes.
    مقال

    Joining dataflow with predicates.

أدوات البحث: