Supporting Tool for Cooperative Specification Processes