Programs must be written for people to read, and only incidentally for machines to execute
Don’t Be a Slave to Formal Methods." you feel you need to use a formal method, then embrace it–but remember who is in charge. Never become a slave to a methodology."
Never underestimate the cost of adopting new tools and methods. Be prepared to treat the first projects using these techniques as a learning experience.
Perfection is achieved, not when there is nothing left to add, but when there is nothing left to take away.
Know when to stop writing your function. There is no perfect code. “Move on, and let your code stand in its own right for a while. It may not be perfect. Don’t worry: it could never be perfect.”