Εμφανίζονται 41 - 50 Αποτελέσματα από 63 για την αναζήτηση '"Software program verification."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 41

    Using symbolic execution for verifying safety-critical systems. ανά Coen-Porisini, Alberto

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Using symbolic execution for verifying safety-critical systems.
  2. 42

    Modular verification of collaboration-based software designs. ανά Fisler, Kathi

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Modular verification of collaboration-based software designs.
  3. 43

    Automatic abstraction for model checking software systems with interrelated numeric constraints. ανά Choi, Yunja

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  4. 44

    An industrial case study of implementing software risk management. ανά Freimut, Bernd

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    An industrial case study of implementing software risk management.
  5. 45

    An empirical methodology for introducing software processes. ανά Shull, Forrest

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    An empirical methodology for introducing software processes.
  6. 46

    A specification-based approach to reasoning about pointers. ανά Kulczycki, Gregory

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A specification-based approach to reasoning about pointers.
  7. 47

    Specification and verification of inter-component constraints in CTL. ανά Thang, Nguyen Truong

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Specification and verification of inter-component constraints in CTL.
  8. 48

    Non-null references by default in the Java modeling language. ανά Chalin, Patrice

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Non-null references by default in the Java modeling language.
  9. 49

    Specification and design of component-based coordination systems by integrating coordination patterns. ανά Pérez-Serrano, Pedro L.

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Specification and design of component-based coordination systems by integrating coordination patterns.
  10. 50

    Constraint satisfaction techniques for diagnosing errors in design by contract software. ανά Ceballos, Rafael

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

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