| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide an automatic software production system corresponding the need for improvement of a process of software engineering. <P>SOLUTION: 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 a user-interface code and an error handling code. <P>COPYRIGHT: (C)2008,JPO&INPIT |
