C# Code Contracts Succinctly
Dirk Strauss
OVERVIEW
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.
TABLE OF CONTENTS
• Getting Started
• Using Code Contracts
• Some Useful Tips
• Testing Code Contracts
• Code Contracts Editor Extensions
• Conclusion
• Tools and Resources
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.
TABLE OF CONTENTS
• Getting Started
• Using Code Contracts
• Some Useful Tips
• Testing Code Contracts
• Code Contracts Editor Extensions
• Conclusion
• Tools and Resources
Thể loại:
Năm:
2016
Nhà xuát bản:
Syncfusion
Ngôn ngữ:
english
Trang:
90
ISBN 10:
1642001031
ISBN 13:
9781642001037
File:
PDF, 2.87 MB
IPFS:
,
english, 2016