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