Describir: Software engineering mathematics