Patent application number | Description | Published |
20130125086 | SOFTWARE ARCHITECTURE BY UNTANGLING UNDESIRED CODE LEVEL DEPENDENCIES USING CODE REFACTORING - A method of improving software architecture by untangling undesired code level dependencies is provided herein. The method includes the following stages: generating an abstract representation of a computer code in a form of a code model; recording manipulations to the computer code applied by a user to the code model; calculating a series of refactorings in the computer code that represents the recorded manipulation; and carrying out the refactorings within the computer code. Specifically, some of the refactorings include separating low level software elements on the method level in response to the user manipulations of the model. | 05-16-2013 |
20130246080 | Generating Policy Summaries From Logic Code - Systems and methods for presenting benefit rules in a policy into a human readable table are provided. The method comprises analyzing logic code implemented for processing claims under a policy to identify one or more rules and one or more parameters of interest; translating the rules, as applicable to the parameters of interest, into an ordered list of boolean expressions; applying an algorithm to the ordered list of boolean expressions to identify a solution for a set of query parameters defined by the rules and the parameters of interest; and generating a summary table according to the identified solution for the set of query parameters. | 09-19-2013 |
20130247015 | PLAN-BASED PROGRAM SLICING - A method for generating a slice from a plan-based representation of a program is provided. The method comprises constructing a plan representation of a program, wherein the plan representation comprises a plurality of nodes, edges, and ports; and receiving one or more slicing criteria from a user. The slicing criteria comprise one or more variable occurrences or statements from the program, according to which a slice is generated from the plan representation. | 09-19-2013 |
20130283248 | METHOD, APPARATUS AND PRODUCT FOR PORTING APPLICATIONS TO EMBEDDED PLATFORMS - A computer-implemented method and apparatus for transforming code to embedded environments, the method comprising: receiving program code not complying with a limitation of an embedded computing environment; transforming at least part of the program code to modified program code in order for the modified program code to be in compliance with the limitation; and storing the modified program code on a storage device. wherein the modified program code complies with the limitation of the embedded computing environment. | 10-24-2013 |
20140189656 | Flow Analysis in Program Execution - Machines, systems and methods for distinguishing feasible paths in a program by statically tracking one or more execution paths are provided. The method comprises reading one or more program statements in an execution path; adding a location identification for the program statement read to an abstract representation of the execution stack at the time the program statement is executed, in response to determining that the program statement is a procedure call; updating the abstract representations of the execution stack to exclude infeasible execution paths for a possible point in program where the procedure could return or continue, in response to determining that the program statement is a return from a procedure. | 07-03-2014 |
20140278476 | IDENTIFYING ADDITIONAL VARIABLES FOR APPRAISAL TABLES - A computerized method of identifying additional influential variables in multi-aspect adjudication frameworks comprising: acquiring an appraisal table having a set of variables affecting at least one adjudication aspect of a multi-aspect adjudication framework; identifying a set of additional variables affecting at least one adjudication aspect of a multi-aspect adjudication framework which fulfills an objective function, said objective function having a plurality of rules, said objective function assessing the compliance of at least one of said appraisal table and said set of additional variables with said plurality of rules; and outputting said set of additional variables. | 09-18-2014 |
20140278559 | ADJUDICATION PLATFORM COMPLIANCE MANAGEMENT - A method of verifying compliance of an adjudication platform with a requirement, the method comprising: applying a requirement to an adjudication platform, wherein said adjudication platform comprises a plurality of benefit rules and said requirement comprises a plurality of requirements representing at least one of a law and an insurance policy; identifying at least one of said plurality of benefit rules disagreeing with at least one of said plurality of requirements, responsive to a discrepancy between applied said requirement and said adjudication platform; outputting at least one of identified said plurality of benefit rules and said plurality of requirements. | 09-18-2014 |
20150040105 | SYSTEM AND/OR METHOD FOR COMPUTING INTERPROCEDURAL DOMINATORS - According to an aspect of some embodiments of the present invention there is provided a computerized method of analyzing code of a software program for dominance relationships between a plurality of functions of the software program, the method comprising: receiving source code of a software program, the source code having a plurality of functions; identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions; combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph with edges that logically connect between nodes of the plurality of functions; identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph; and analyzing the software program according to the plurality of interprocedural dominance relations. | 02-05-2015 |