Generating a useful theory of software engineering | IEEE Conference Publication | IEEE Xplore