Communicating requirements using end-user GUI constructions with argumentation | IEEE Conference Publication | IEEE Xplore