Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
Oscar Pastor0
Jose Iborra0
Date of Patent
November 14, 2006
0Patent Application Number
098723330
Date Filed
June 1, 2001
0Patent Citations Received
Patent Primary Examiner
Patent 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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.