• Title of article

    Specifying and checking method call sequences of Java programs

  • Author/Authors

    Yoonsik Cheon and Ashaveena Perumandla ، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2007
  • Pages
    19
  • From page
    7
  • To page
    25
  • Keywords
    Method call sequence specification . Runtime checking . Assertion . Pre andpostconditions . Programming by contract . JML language
  • Journal title
    Software Quality Journal
  • Serial Year
    2007
  • Journal title
    Software Quality Journal
  • Record number

    292873

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=292873