Patents by Inventor Alexander Z. Smolen

Alexander Z. Smolen 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).

  • Patent number: 7877780
    Abstract: A method and system for enforcing functionality in computer software through policy including converting a natural language policy to sample code, wherein the natural language policy is represented by logical patterns; creating one or more static analysis rules from the sample code to enforce the natural language policy at a centralized location of the computer software; and enforcing the created one or more static analysis rules for the computer software.
    Type: Grant
    Filed: February 10, 2006
    Date of Patent: January 25, 2011
    Assignee: Parasoft Corporation
    Inventors: Adam K. Kolawa, Alexander Z. Smolen, Marek M. Pilch, Wayne P. Ariola, Jr.