MODIFICATION PROCEDURE GENERATION DEVICE, MODIFICATION PROCEDURE GENERATION METHOD AND STORAGE MEDIUM FOR STORING MODIFICATION PROCEDURE GENERATION PROGRAM

摘要

The modification procedure generation device according to an aspect of the present invention includes: elimination unit that eliminates states other than states that satisfy a predetermined condition from states including states of elements of a system undergoing modification based on a predetermined modification requirement, the predetermined condition pertaining to the system undergoing modification.