Proceedings of the Fourth SEMAT Workshop on General Theory of Software Engineering (IEEE Press,)