A Software Machine Analysis and Design Methodology | IEEE Conference Publication | IEEE Xplore