| 5428788 |
Feature ratio method for computing software similarity |
| Jun-27-1995 |
In a software system, a method for computing the similarity between first and second software objects, comprises the steps of using a monotonic, matching, symmetric function of the common distinctive features... |
| 5414853 |
Apparatus and method for checking microcode with a generated restriction checker |
| May-9-1995 |
A restriction checker generator is disclosed for generating a restriction checker capable of checking horizontal microcode instructions against restrictions which the microcode instructions must satisfy... |
| 5355479 |
Interface conformance verification system |
| Oct-11-1994 |
An interface conformance verification system uses a computer to verify, e.g., the interface between modules in a large computer program or other a verification target. The interface conformance verification... |
| 5347518 |
Method of automating a build verification process |
| Sep-13-1994 |
A method of automating a build verification procedure for panels executable in a Multiple Virtual Storage (MVS) environment which contains fast path commands. Fast path commands are commands that are entered... |
| 5263162 |
Method of validating a label translation configuration by parsing a real expression describing the translation configuration |
| Nov-16-1993 |
A method of validating a label translation configuration file (TC) is disclosed. Once the validity of a TC is verified, a set of test case characters (Test Set) is automatically generated if requested... |
| 5136698 |
Method for selective back-tracking in a hierarchical system containing a flag which indicates the validity of a choice-point |
| Aug-4-1992 |
A method of back-tracking in a computer processing operation in which the programmer can be provided with a number of different types of the back-track controlling, from which a suitable one can freely... |
| 4729096 |
Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program |
| Mar-1-1988 |
A translator writing system develops a translator program capable of transforming a user's source code into object code. The language of the source code is summarized in a unique form, namely, a Backus-Nauer... |
