Patents by Inventor Arun Chakrapani Rao

Arun Chakrapani Rao 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).

  • Systems and methods for generating high-quality formal executable software feature requirements
    Patent number: 9152385
    Abstract: Systems and methods for generating formal software requirements using an informal requirements document having informal requirements and annotations associated with the informal requirements. The systems and methods extract syntax from the annotations and generate artifacts as a function of the syntax.
    Type: Grant
    Filed: February 22, 2012
    Date of Patent: October 6, 2015
    Assignee: GM GLOBAL TECHNOLOGY OPERATIONS LLC
    Inventors: Arun Chakrapani Rao, Manoj G. Dixit, Ramesh Sethu
  • SYSTEMS AND METHODS FOR GENERATING HIGH-QUALITY FORMAL EXECUTABLE SOFTWARE FEATURE REQUIREMENTS
    Publication number: 20130219354
    Abstract: Systems and methods for generating formal software requirements using an informal requirements document having informal requirements and annotations associated with the informal requirements. The systems and methods extract syntax from the annotations and generate artifacts as a function of the syntax.
    Type: Application
    Filed: February 22, 2012
    Publication date: August 22, 2013
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC
    Inventors: Arun Chakrapani Rao, Manoj G. Dixit, Ramesh Sethu