Stav dette: Theoretical Aspects of Software Engineering