Proceedings of the 1st International Workshop on Software Health