Erakusten 51 - 60 emaitzak -- 69 bilaketa honetara '"Program verification."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 51

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

    Argitaratua izan da Software engineering notes.
    Artikulua

    An empirical methodology for introducing software processes.
  2. 52

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Representation-independent program analysis. nork Strout, Michelle Mills

    Argitaratua izan da Software engineering notes.
    Artikulua

    Representation-independent program analysis.

Bilaketa egiteko lanabesak: