Provable Code
Offered By: Pluralsight
Course Description
Overview
Tools and patterns for using mathematics to write more reliable and readable software
Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system. Today, we have tools built into our compilers and type systems that help us to prove those assertions. This course will introduce you to some of those tools, define systems of logic for reasoning about code, and recommend patterns for building provable software.
Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system. Today, we have tools built into our compilers and type systems that help us to prove those assertions. This course will introduce you to some of those tools, define systems of logic for reasoning about code, and recommend patterns for building provable software.
Syllabus
- Predicate Calculus 35mins
- Design by Contract 77mins
- Code Contracts 63mins
- Patterns 54mins
- Degrees of Freedom 57mins
- Immutability 63mins
Taught by
Michael Perry
Related Courses
Functional Programming Principles in ScalaÉcole Polytechnique Fédérale de Lausanne via Coursera Software Analysis & Testing
Georgia Institute of Technology via Udacity Go: The Complete Developer's Guide (Golang)
Udemy Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy C++ in Detail: Common Idioms
Udemy