For programmers and analysts, LogicGem proves logic and processes by finding missing rules, ambiguities, contradictions and redundancies. TheyOCOre displayed visually and include are tools to automatically correct errors. LogicGem provides the means to prototype a procedural concept, work it through analysis and design phases, then generates documentation and programming source code for various programming languages.