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