Describir: Theoretical Aspects of Software Engineering