LogicGem

Deskrizzjoni

LogicGem hija għodda ta 'softwer imsejħa proċessur loġiku li tindirizza dawn il-kwistjonijiet bl-użu tat-teorija tat-tabella tad-deċiżjonijiet. LogicGem jikkonsisti minn editur tal-loġika, u kompilatur tal-loġika. Bl-editur tal-loġika, tista 'toħloq tabelli loġiċi, kostruzzjonijiet bħal spreadsheets li jiġbru fihom sett ta' regoli loġiċi. Parti waħda minn tabella fiha kundizzjonijiet li jistgħu jiġu konnessi biex tinħoloq regola, u l-parti l-oħra fiha azzjonijiet li huma relatati mar-regoli. Ladarba tkun iddefinit ir-regoli, l-editur awtomatikament janalizzahom, iżid ir-regoli neqsin, u jneħħi dawk li huma żejda jew kontradittorji. It-teknoloġija tat-tabella tad-deċiżjonijiet hija l-vettura li biha jistgħu jinbnew regoli kummerċjali kompluti loġikament. It-tabelli tal-loġika ta 'LogicGem jesprimu problema viżwalment, li jagħmilha faċli biex tinftiehem. LogicGem tipprovdi l-mezzi biex tipprototipja u tespandi kunċett proċedurali ta 'livell għoli f'tabella ta' deċiżjoni, taħdem permezz ta 'fażijiet ta' analiżi u disinn, u mbagħad tiġġenera dokumentazzjoni tal-lingwa Ingliża u kodiċi sors ta 'programmar f'diversi lingwi ta' programmar. LogicGem jipprovdi għodod li jiżguraw li l-loġika ta 'tabella hija kompluta, mhux ambigwa u fiha kull regola applikabbli f'format estiż jew imnaqqas.