2nd SEMAT workshop on a general theory of software engineering (GTSE 2013) | IEEE Conference Publication | IEEE Xplore