The Applied Research Of Formal Method And Model Checking In Early Requirement Engineering

Software requirement analysis is a key process in software development, its not only a technical problem but also a problem that associated with orgnization managerment business and social relationship. In the process of early requirement, it has established the aim, intention, and basis of software system. It benefit the later development in better understanding of system orgnization and actitities' dependency relationship clearify the policy principle. Also benefit both the problem of how to solve the system intention to satisfy the need of orgnization and clearify what the alternation could be made to the system, the impact after making the alternation. Another critical property of early requirement analysis is we can capture the nonfunction needs of the system quality attributes such as aquracy , degree of safety, functionality and adjustability. If we can't detect and fix the potential problem in early requiement analysis, in later development procedure in order to fix the problem occur in that period may cost more than two hundred times than the cost for we to fix the problem occur in requiement...