Informatik V RWTH Aachen Institut Informatik und Gesellschaft Albert-Ludwigs-Universität Freiburg TROPOS Agentengestütztes Requirements Engineering in.