Mostrando 51 - 60 Resultados de 69 Para Buscar '"Program verification."', tiempo de consulta: 0.02s Limitar resultados
  1. 51

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

    Artículo

    An empirical methodology for introducing software processes.
  2. 52

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

    Artículo

    A specification-based approach to reasoning about pointers.
  3. 53

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

    Artículo

    Specification and verification of inter-component constraints in CTL.
  4. 54

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

    Artículo

    Non-null references by default in the Java modeling language.
  5. 55

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

    Artículo

    Specification and design of component-based coordination systems by integrating coordination patterns.
  6. 56

    Constraint satisfaction techniques for diagnosing errors in design by contract software. por Ceballos, Rafael

    Artículo

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

    A component-based specification approach for embedded systems using FDTs. por Guerrouat, Abdelaziz

    Artículo

    A component-based specification approach for embedded systems using FDTs.
  8. 58

    Automated data verification in a format-free environment. por Collins, Michael

    Artículo

    Automated data verification in a format-free environment.
  9. 59

    SableSpMT a software framework for analysing speculative multithreading in Java. por Pickett, Christopher J. F.

    Artículo

    SableSpMT a software framework for analysing speculative multithreading in Java.
  10. 60

    Representation-independent program analysis. por Strout, Michelle Mills

    Artículo

    Representation-independent program analysis.

Herramientas de búsqueda: