• DocumentCode
    12922
  • Title

    nContract - Creating Configurable Run-Time Contract Verification for .NET Components

  • Author

    Osman Balci استاد مشاور , Stephen Edwards استاد راهنما , Calvin Ribbens استاد مشاور

  • University
    Virginia Polytechnic Institute and state University
  • Grade
    نامعلوم
  • Major
    Master of Science )Computer Science(
  • Number of pages
    0
  • Publish Date
    2005
  • Keyword

    net components , design-by-contract , formal specification , component specification , contract verification

  • Note
    01
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=17&DC=12922