A notion of rule-based software quality engineering | IEEE Conference Publication | IEEE Xplore