The Foundations of Software Engineering