My thesis is now officially uploaded to Virginia Tech 's ETD Digital Library . I have finally posted an overview of nContract on my site for those who are interested. I have also uploaded my thesis and the source code for nContract . If you have questions or comments please feel free to post a comment...

The purpose of this quick start guide is to step through a simple but complete example of how to create a third party component with configurable run-time checks of a contract specification using nContract. To fully follow along with this example you will need to download nContract QuickStart . Create...

The purpose of this quick start guide is to step through a simple but complete example of how to create a third party component with configurable run-time checks of a contract specification using nContract. To fully follow along with this example you will need to download nContract QuickStart . Create...

My thesis is now officially uploaded to Virginia Tech 's ETD Digital Library . I have finally posted an overview of nContract on my site for those who are interested. I have also uploaded my thesis and the source code for nContract . If you have questions or comments please feel free to post a comment...