1)   LogicGem 3.0
For programmers and analysts, LogicGem proves logic and business rules by finding missing rules, ambiguities, contradictions and redundancies. They are displayed visually and include tools to automatically correct any errors.
logicgem, logic gem, decision tables, logic tables, decison, logic, table, business rules, business, rules,