Grady Booch sur Twitter : "The best formal and unambiguous specification of a software-intensive system is its executable code. A specification that is, however, insufficient for visualizing, reasoning about, understanding, and communicating about that system."