A framework for software engineering inconsistencies analysis and reduction | IEEE Conference Publication | IEEE Xplore