Title: Theoretical Aspects of Software Engineering