Means for burying the gap between the requirement definition by the Lyee methodology (Lyee requirement specifications) and its mounting. The most essential feature is to comprise a JCSP library where a class in which a program by the Lyee calculation method, a control function, a scenario function, a palette function, a logic vector, and an action vector are made modules by JCSP as a parallel processing of a process cell having an input/output channel, means for inputting the requirements of software to be developed, first class creating means for creating a program by inserting information collected by changing the requirement concerning the environment (user end) out of the inputted requirement into a process into an undefined part of a template used as a class concerning the control function and scenario function in the JCSP library, and second class creating means for inserting information created as a declaration in which the requirement concerning the system out of the inputted requirements is composed of the word name, the definition formula if necessary, the definition formula execution condition if necessary, the input/output attribute if necessary, and the general attribute into undefined parts of the class and method of the program created by the first class creating means.
展开▼
