Software is math. Michael L Perry has built upon the works of mathematicians like Bertrand Meyer, James Rumbaugh, and Donald Knuth to develop a mathematical system for software development. He has captured this system in a set of open source projects, Update Controls and Correspondence. As a Techincal Director at Improving, he applies mathematical concepts to building scalable and robust enterprise systems. You can find out more at qedcode.com.