Patents by Inventor Oscar Pastor

Oscar Pastor 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).

  • Method and apparatus for automatic generation of information system user interfaces
    Publication number: 20040153992
    Abstract: A method and apparatus for the specification and automatic generation of user interfaces of information system (computer programs) is provided. The method is based in pattern language to specify requirements in an un-ambiguous mode and with precise semantics. The pattern language allows a user interface model to be composed using elements of the pattern language (computer objects in the object oriented programming style) which fully specify the desired user interface. The semantics of the objects in the user interface model have one and only one definition such that user interface model can be validated in a validation process. The validation process eliminates bugs in the final computer program code which is automatically produced from the user interface model.
    Type: Application
    Filed: January 31, 2003
    Publication date: August 5, 2004
    Inventors: Pedro Juan Molina-Moreno, Oscar Pastor-Lopez, Juan Carlos Molina-Udaeta, Jose Miguel Barbera-Alonso
  • Automatic software production system
    Patent number: 6681383
    Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.
    Type: Grant
    Filed: April 4, 2000
    Date of Patent: January 20, 2004
    Assignee: Sosy, Inc.
    Inventors: Oscar Pastor, José Iborra
  • Automatic software production system
    Publication number: 20030167455
    Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.
    Type: Application
    Filed: June 1, 2001
    Publication date: September 4, 2003
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20020100014
    Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.
    Type: Application
    Filed: June 1, 2001
    Publication date: July 25, 2002
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20020062475
    Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.
    Type: Application
    Filed: June 1, 2001
    Publication date: May 23, 2002
    Inventors: Jose Iborra, Oscar Pastor