Notations for Software Design