Proactive Detection of Higher-Order Software Design Conflicts | IEEE Conference Publication | IEEE Xplore