Comparing methodologies for the transition between software requirements and architectures | IEEE Conference Publication | IEEE Xplore