Formal Foundations for Software Engineering Methods