Proceedings of the Fourth SEMAT Workshop on General Theory of Software Engineering