В 



SQL Enlight provides a fast, automated way to ensure that your T-SQL source code fits to your predefined design and style guidelines as well as best coding practices. With its help, you can easily analyze, identify and quickly resolve potential design and performance pitfalls in your SQL Server databases. SQL Enlight is an advanced,but simple to use software development tool, designed to facilitate, improve and accelerate the database development with T-SQL.

Code Contracts provide a way for developers to express coding assumptions in .NET libraries and applications, facilitating the delivery of more reliable code that is easier to understand and maintain. In this course, we will cover the basics of Code Contracts, including how to enforce preconditions, guarantee postconditions, and define invariants. We will also cover some advanced techniques available to the Code Contracts library, including interface contracts and quantifiers. By the end of this course, you should know enough to get started using Code Contracts, and have a good understanding of the capabilities of the library.