International Business Machines Corporation

Abraham Zehavi

Fausto Bernardini

Mila Keren

Laurent Balmelli

Jose Gomes

Olga Golovenevsky

Described is a method and system of requirements management including the expression in a requirements management tool of a relationship selected from the group consisting of a satisfaction relationship, an alternative relationship, a conflict relationship, and a constant dependency relationship. Described is a requirements management method including a first automatic analyzing of a requirements set to find conflicts, having a conflict free requirements subset. and a second automatic analyzing of the requirements set to verify completeness.

Requirements management semantics modeling

A computer implemented method and system determines whether a rule R is redundant with respect to a rule set S containing a plurality of non-redundant rules each defining tests for performing on a corresponding numeric field. A new rule set S' is generated containing for each rule Rin S its intersection with R (R) where R and Rintersect; and respective numbers of packets that satisfy R and the union of all rules in S&#x2032; are calculated. If these numbers are equal the rule R is redundant with respect to the rule set S. Any arbitrary set of rules may be processed using such an approach so as to generate a new rule set that contains no redundant rules by determining whether each rule is redundant with respect to an initially empty rule set S1 and adding only those rules that are not redundant to the rule set S

Growing community of inventors

Nahariya, Israel

Abraham Zehavi