The patterns of distributed systems help us to build maintainable, reliable, and scalable enterprise solutions. In this course, you will see how the theory of the CAP Theorem applies to the practice of using an Enterprise Service Bus. You will see how Domain Driven Design breaks down a problem, and how Event Sourcing helps implement and integrate those pieces.
Mathematician and software developer, Michael L Perry applies formal proof to creating reliable software. He has developed a method starting from the works of the greats (Meyer, Rumbaugh, Knuth), and embodied it in his open-source frameworks (Update Controls and Correspondence).