Modeling requirements with goals in virtual university environment | IEEE Conference Publication | IEEE Xplore