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
Major :
Master of Science )Computer Science(
Keyword :
net components , design-by-contract , formal specification , component specification , contract verification
