Patents by Inventor Daniel N. Jackson

Daniel N. Jackson has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Tool for error detection in software using aspect specification
    Patent number: 5423027
    Abstract: Bugs are identified within a subject program by embellishing the program with specifications that specify relationships between abstract components of objects of the program. The dependency specified by the specifications are compared with the dependencies provided within the code of the subject program to identify any missing dependencies between abstract components in the code. Any missing dependencies in the code point to errors within the subject program.
    Type: Grant
    Filed: September 27, 1991
    Date of Patent: June 6, 1995
    Assignee: Massachusetts Institute of Technology
    Inventor: Daniel N. Jackson