摘要 |
PURPOSE:To efficiently generate a program by determining well-definedly fuzzy specifications with respect to an inputted program specification sentence, generating a formal model by making up for abbreviation specifications, generating a standard program specification sentence therefrom, and outputting it. CONSTITUTION:The subject system is provided with a means 4 for bringing a program specification sentence to semantic analysis, a means 7 for generating a formal model of program specifications from a result of its semantic analysis, and a means 10 for generating the corresponding program from its formal model. Also, this system is provided with a means 13 for generating the corresponding standard program specification sentence from its formal model, and with respect to a result of semantic analysis, fuzzy specifications are determined well-definedly, and also, abbreviated specifications are inferred and compensated. Subsequently, by assembling the obtained specifications, the formal model is generated, the program is generated from its model, and also, a standard program specification sentence is generated and outputted. In such a way, an interpretation of the inputted specification sentence can be informed to a developer, and the program can be generated efficiently.
|