Visas 41 - 50 av 63 resultat för sökning '"Software/Program Verification."', Sökningstid: 0,02s Förfina resultatet
  1. 41

    Using symbolic execution for verifying safety-critical systems. av Coen-Porisini, Alberto

    I publikationen Software engineering notes.
    Artikel

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

    Modular verification of collaboration-based software designs. av Fisler, Kathi

    I publikationen Software engineering notes.
    Artikel

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints. av Choi, Yunja

    I publikationen Software engineering notes.
    Artikel

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

    An industrial case study of implementing software risk management. av Freimut, Bernd

    I publikationen Software engineering notes.
    Artikel

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

    An empirical methodology for introducing software processes. av Shull, Forrest

    I publikationen Software engineering notes.
    Artikel

    An empirical methodology for introducing software processes.
  6. 46

    A specification-based approach to reasoning about pointers. av Kulczycki, Gregory

    I publikationen Software engineering notes.
    Artikel

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

    Specification and verification of inter-component constraints in CTL. av Thang, Nguyen Truong

    I publikationen Software engineering notes.
    Artikel

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

    Non-null references by default in the Java modeling language. av Chalin, Patrice

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen Software engineering notes.
    Artikel

    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. av Ceballos, Rafael

    I publikationen Software engineering notes.
    Artikel

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

Sökverktyg: