Workshop on software specification and design