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