Đang hiển thị 51 - 60 kết quả của 63 cho tìm kiếm '"Software/Program Verification."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 51

    A component-based specification approach for embedded systems using FDTs. Bằng Guerrouat, Abdelaziz

    Xuất bản năm Software engineering notes.
    Bài viết

    A component-based specification approach for embedded systems using FDTs.
  2. 52

    Automated data verification in a format-free environment. Bằng Collins, Michael

    Xuất bản năm Software engineering notes.
    Bài viết

    Automated data verification in a format-free environment.
  3. 53

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

    Xuất bản năm Software engineering notes.
    Bài viết

    SableSpMT a software framework for analysing speculative multithreading in Java.
  4. 54

    Representation-independent program analysis. Bằng Strout, Michelle Mills

    Xuất bản năm Software engineering notes.
    Bài viết

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. Bằng Barnett, Mike

    Xuất bản năm Software engineering notes.
    Bài viết

    Weakest-precondition of unstructured programs.
  6. 56

    Focusing software education on engineering. Bằng Knight, John C.

    Xuất bản năm Software engineering notes.
    Bài viết

    Focusing software education on engineering.
  7. 57

    Testing static analysis tools using exploitable buffer overflows from open source code. Bằng Zitser, Misha

    Xuất bản năm Software engineering notes.
    Bài viết

    Testing static analysis tools using exploitable buffer overflows from open source code.
  8. 58

    An efficient and backwards-compatible transformation to ensure memory safety of C programs. Bằng Xu, Wei

    Xuất bản năm Software engineering notes.
    Bài viết

    An efficient and backwards-compatible transformation to ensure memory safety of C programs.
  9. 59

    Verifying aspect advice modularly. Bằng Krishnamurthi, Shriram

    Xuất bản năm Software engineering notes.
    Bài viết

    Verifying aspect advice modularly.
  10. 60

    A classification system and analysis for aspect-oriented programs. Bằng Rinard, Martin

    Xuất bản năm Software engineering notes.
    Bài viết

    A classification system and analysis for aspect-oriented programs.

Công cụ tìm kiếm: