Patents by Inventor Jose Iborra

Jose Iborra 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).

  • Automatic software production system
    Patent number: 8365138
    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: September 26, 2008
    Date of Patent: January 29, 2013
    Assignee: Sosy, Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 8245183
    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: September 25, 2008
    Date of Patent: August 14, 2012
    Assignee: Sosy Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 8141031
    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: June 24, 2004
    Date of Patent: March 20, 2012
    Assignee: Sosy Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 8037449
    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: October 10, 2006
    Date of Patent: October 11, 2011
    Assignee: Sosy, Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 7584451
    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: October 5, 2006
    Date of Patent: September 1, 2009
    Assignee: Sosy Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 7555742
    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: October 4, 2006
    Date of Patent: June 30, 2009
    Assignee: Sosy Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20090132995
    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: September 26, 2008
    Publication date: May 21, 2009
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20090125546
    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: September 25, 2008
    Publication date: May 14, 2009
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20080209391
    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: October 10, 2006
    Publication date: August 28, 2008
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 7278130
    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: June 1, 2001
    Date of Patent: October 2, 2007
    Assignee: Sosy, Inc.
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20070168907
    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: October 4, 2006
    Publication date: July 19, 2007
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20070089103
    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: October 5, 2006
    Publication date: April 19, 2007
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Patent number: 7137100
    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: June 1, 2001
    Date of Patent: November 14, 2006
    Inventors: Jose Iborra, Oscar Pastor
  • Automatic software production system
    Publication number: 20040233232
    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 24, 2004
    Publication date: November 25, 2004
    Inventors: Jose Iborra, Oscar Pastor
  • 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