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

    Using symbolic execution for verifying safety-critical systems. מאת Coen-Porisini, Alberto

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

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

    Modular verification of collaboration-based software designs. מאת Fisler, Kathi

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

    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.
    Article

    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.
    Article

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

    An empirical methodology for introducing software processes. מאת Shull, Forrest

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

    An empirical methodology for introducing software processes.
  6. 46

    A specification-based approach to reasoning about pointers. מאת Kulczycki, Gregory

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

    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.
    Article

    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.
    Article

    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.
    Article

    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.
    Article

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

כלי חיפוש: