Describir: Notations for software design /