MyPage is a personalized page based on your interests.The page is customized to help you to find content that matters you the most.

I'm not curious

Code Contracts

Course Summary

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 Contr

  • +

    Course Syllabus

    ● Code Contracts Overview
        ◦ Introduction
        ◦ What are Code Contracts?
        ◦ Why Code Contracts?
        ◦ How Code Contracts Work
        ◦ Installing and Configuring
        ◦ Summary
    ● Basic Usage
        ◦ Introduction
        ◦ Preconditions
        ◦ Basic Preconditions
        ◦ Preconditions with Exceptions
        ◦ Legacy Preconditions
        ◦ Postconditions
        ◦ Basic Postconditions
        ◦ Postconditions for Exceptions and Original Values
        ◦ Checking Results
        ◦ Summary
    ● Digging Deeper
        ◦ Introduction
        ◦ Object Invariants
        ◦ Using Object Invariants
        ◦ Automatic Properties
        ◦ Assert and Assume
        ◦ ForAll
        ◦ Exists
        ◦ Summary
    ● Advanced
        ◦ Introduction
        ◦ Inheritance Overview
        ◦ Inheritance Example
        ◦ Interfaces
        ◦ Abbreviators
        ◦ Static Checking Warning
        ◦ Turning on Static Checking
        ◦ Exploring Static Checking
        ◦ Static Checking Options
        ◦ Summary

Course Fee:
USD 29

Course Type:


Course Status:



1 - 4 hours / week

Attended this course?

Back to Top

Awards & Accolades for MyTechLogy
Winner of
Top 100 Asia
Finalist at SiTF Awards 2014 under the category Best Social & Community Product
Finalist at HR Vendor of the Year 2015 Awards under the category Best Learning Management System
Finalist at HR Vendor of the Year 2015 Awards under the category Best Talent Management Software
Hidden Image Url

Back to Top