PURPOSE: To easily correct and add specification description by using graphical specification description elements and formal specification description elements together to efficiently generate objective system specifications without omission in accordance with the hierarchical structure of each function.
CONSTITUTION: Graphical specification description of a development object system is generated by a graphical specification description generating part 1 and is corrected by a correcting means on demand and is converted to formal specification description by a converting part 4. Thereafter, new operation is defined for the purpose of detailing functions in the graphical specification description by a function detailing means. The newly defined operation is converted to graphical specification description by a converting means, and this description is corrected by the correcting means on demand and is converted to formal specification description again by the converting means. Consequently, objective system specification are efficiently generated without omission in accordance with the hierarchical structure of each function, and specification description is easily corrected and added on the way of generation of system specifications.
HOIDEN SHINICHI
OSUGA AKIHIKO
