Using an Architecture Reasoning Tool to Teach Software Architecture | IEEE Conference Publication | IEEE Xplore