Describir: Modeling software behavior