Describir: Software specification methods