초록 ▼

A program developing system includes a plurality of graphic editors representing specification definition information a user inputs in representation formats different from each other and a mutual conversion unit for converting specification definition which the user described with a graphic editor

A program developing system includes a plurality of graphic editors representing specification definition information a user inputs in representation formats different from each other and a mutual conversion unit for converting specification definition which the user described with a graphic editor into a representation format of another graphic editor. The mutual conversion unit activates another graphic editor to allow input of specification definition by the converted representation format. The graphic editors can hierarchically represent specifications and allows specification description at an arbitrary level. The program developing system includes a parts management unit for registering description of semantically completed specification definition as parts and an execution unit for extracting executable program structure from the specification definition information represented by graphic editors and producing an executable program The executable program reserves the hierarchical structure in the specification description by the user. The execution unit executes a program at an arbitrary level and shows the execution results to the user. By execution and verification of the program at an arbitrary level, the user can know whether a program satisfying the specification is produced or not at a sub program level, which improves the program developing efficiency.

대표청구항 ▼

A program developing supporting system, comprising: a plurality of specification definition representation means with which a user inputs data corresponding to specification definition information and describes the specification definition information, the specification definition information repres

A program developing supporting system, comprising: a plurality of specification definition representation means with which a user inputs data corresponding to specification definition information and describes the specification definition information, the specification definition information representing a specification denoting required functions of a desired software under development, said plurality of specification definition representation means provided in parallel and each including means representing specification definition information described by said user in a graphical non-procedural representation format, any one graphical non-procedural representation format being different from any other graphical non-procedural representation format; structure extracting means coupled to receive the specification definition information described by said user for extracting a structure of an executable program from the specification definition information described by said user with specification definition representation means which are activated, said structure extracting means including storage means for storing the specification definition information described by said user; and activation means coupled to receive said specification definition information described by said user with a specification definition representation means among said plurality of specification definition representation means, for making a determination as to whether representation by another specification definition representation means is possible and responsive to a determination that the representation by another representation means is possible for activating the other specification definition representation means to allow input of specification definition information by said other specification definition representation means, thereby allowing representation of a single piece of specification information in different graphical non-procedural representation formats, and otherwise waiting an inputting of another specification definition information.