Friday, June 17, 2016

C# Code Contracts Succinctly

C# Code Contracts Succinctly

Developed by Microsoft's Research in Software Engineering, Code Contracts provide a way to convey code assumptions in your .NET applications. They can take the form of preconditions, postconditions, and state invariants. In C# Code Contracts Succinctly, author Dirk Strauss demonstrates how to use Code Contracts to validate logical correctness in code, how they can be integrated with abstract classes and interfaces, and even how they can be used to make writing documentation less painful.

Getting Started
Using Code Contracts
Some Useful Tips
Testing Code Contracts
Code Contracts Editor Extensions
Conclusion
Tools and Resources

Download here (PDF)

0 commentaires:

Post a Comment

Note: Only a member of this blog may post a comment.