يعرض 51 - 60 نتائج من 63 نتيجة بحث عن '"Software program verification."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 51

    A component-based specification approach for embedded systems using FDTs. حسب Guerrouat, Abdelaziz

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Automated data verification in a format-free environment. حسب Collins, Michael

    الحاوية / القاعدة Software engineering notes.
    مقال

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

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

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Representation-independent program analysis. حسب Strout, Michelle Mills

    الحاوية / القاعدة Software engineering notes.
    مقال

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. حسب Barnett, Mike

    الحاوية / القاعدة Software engineering notes.
    مقال

    Weakest-precondition of unstructured programs.
  6. 56

    Focusing software education on engineering. حسب Knight, John C.

    الحاوية / القاعدة Software engineering notes.
    مقال

    Focusing software education on engineering.
  7. 57

    Testing static analysis tools using exploitable buffer overflows from open source code. حسب Zitser, Misha

    الحاوية / القاعدة Software engineering notes.
    مقال

    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. حسب Xu, Wei

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Verifying aspect advice modularly. حسب Krishnamurthi, Shriram

    الحاوية / القاعدة Software engineering notes.
    مقال

    Verifying aspect advice modularly.
  10. 60

    A classification system and analysis for aspect-oriented programs. حسب Rinard, Martin

    الحاوية / القاعدة Software engineering notes.
    مقال

    A classification system and analysis for aspect-oriented programs.

أدوات البحث: