Näytetään 51 - 60 yhteensä 63 tuloksesta haulle '"Software / Program Verification."', hakuaika: 0,03s Tarkenna hakua
  1. 51

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

    Representation-independent program analysis. Tekijä Strout, Michelle Mills

    Artikkeli

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. Tekijä Barnett, Mike

    Artikkeli

    Weakest-precondition of unstructured programs.
  6. 56

    Focusing software education on engineering. Tekijä Knight, John C.

    Artikkeli

    Focusing software education on engineering.
  7. 57

    Testing static analysis tools using exploitable buffer overflows from open source code. Tekijä Zitser, Misha

    Artikkeli

    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. Tekijä Xu, Wei

    Artikkeli

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

    Verifying aspect advice modularly. Tekijä Krishnamurthi, Shriram

    Artikkeli

    Verifying aspect advice modularly.
  10. 60

    A classification system and analysis for aspect-oriented programs. Tekijä Rinard, Martin

    Artikkeli

    A classification system and analysis for aspect-oriented programs.

Työkalut: