Proceedings of the 6th international workshop on Software specification and design