FORMAL SPECIFICATION APPARATUS OF FUNCTIONAL REQUIREMENT OF SYSTEM AND SOFTWARE AND METHOD THEREOF

摘要

PURPOSE: An apparatus and a method for specifying the standardization of the functional requirements of system/software are provided to improve the reusability and the productivity of use cases by integrating similar events. CONSTITUTION: An identifying unit(110) identifies events with respect to input data and identifies output data related to the events. A standardizing unit(120) models a use case event model which is the functional unit of the requirements of system/software based on an event list containing the events. A verifying unit(130) verifies the input data, the output data, and the storage data of the use case event model based on a set verifying technique.