C# Code Contracts Succinctly

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.

Table of Contents

  1. Getting Started
  2. Using Code Contracts
  3. Some Useful Tips
  4. Testing Code Contracts
  5. Code Contracts Editor Extensions
  6. Conclusion
  7. Tools and Resources

Download for free from Syncfusion.

C# Programming Cookbook

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

  1. New Features in C# 6.0
  2. Classes and Generics
  3. Object-Oriented Programming in C#
  4. Composing Event-Based Programs Using Reactive Extensions
  5. Create Microservices on Azure Service Fabric
  6. Making Apps Responsive with Asynchronous Programming
  7. High Performance Programming Using Parallel and Multithreading in C#
  8. Code Contracts
  9. Regular Expressions
  10. Choosing and Using a Source Control Strategy
  11. Creating a Mobile Application in Visual Studio
  12. Writing Secure Code and Debugging in Visual Studio
  13. Creating a Web Application in Azure

Buy on Amazon or Packt’s Website (Note: Buying from the Packt website, defaults to the eBook purchase).