Εμφανίζονται 51 - 60 Αποτελέσματα από 63 για την αναζήτηση '"Software/program verification."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  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.

Εργαλεία αναζήτησης: