Patents Represented by Attorney Ronald Craig A Law Corp.
  • 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