Prototyping is known as a method to effectively validate the requirements. Especially a prototype system has effect to validate the functional aspects such as operation steps, input/output data, relation between input and output on the external aspects of a system such as user interface. However, such prototype system provides weak support to check the correctness of internal aspects of a system such as business logic. Therefore, we have proposed a review method to check the correctness of the internal aspects based on requirements specification which is created by using model driven requirements analysis method employing automatic generation of prototype system. We aim to remove the defects such as the inconsistency among several different functions or the omission of data structure at an early stage of development. In this paper, the effectiveness of our review method was confirmed by applying this method into the development of Library Management System in a laboratory.