DecDoc: A Tool for Documenting Design Decisions Collaboratively and Incrementally | IEEE Conference Publication | IEEE Xplore