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
- Tools and Resources
Download for free from Syncfusion.
During your application development workflow, there is always a moment when you need to get out of a tight spot. Through a recipe-based approach, this book will help you overcome common programming problems and get your applications ready to face the modern world.
We start with C# 6, giving you hands-on experience with the new language features. Next, we work through the tasks that you perform on a daily basis such as working with strings, generics, and lots more. Gradually, we move on to more advanced topics such as the concept of object-oriented programming, asynchronous programming, reactive extensions, and code contracts.
You will learn responsive high performance programming in C# and how to create applications with Azure. Next, we will review the choices available when choosing a source control solution. At the end of the book, we will show you how to create secure and robust code, and will help you ramp up your skills when using the new version of C# 6 and Visual Studio.
Table of Contents
- New Features in C# 6.0
- Classes and Generics
- Object-Oriented Programming in C#
- Composing Event-Based Programs Using Reactive Extensions
- Create Microservices on Azure Service Fabric
- Making Apps Responsive with Asynchronous Programming
- High Performance Programming Using Parallel and Multithreading in C#
- Code Contracts
- Regular Expressions
- Choosing and Using a Source Control Strategy
- Creating a Mobile Application in Visual Studio
- Writing Secure Code and Debugging in Visual Studio
- Creating a Web Application in Azure