8th International Workshop on Software Specification and Design Conference