Proceedings of the Sixth International Workshop on Software Specification and Design