Supporting tool for assembling software specification and design methods | IEEE Conference Publication | IEEE Xplore