Application of Formal Specification to Evalution System for Nuclear Accident
Shen Jun · Journal of University of South China · 2012
Evaluation system for nuclear accident aimed to evaluate and predict the nuclear accident immediately after it happened.The requirement of software reliability is high.Formal method based on the strict mathematic is the important tool of theory in the software development.This paper used the UML to analyse and modele the system,then formulated specification describe function of system strictly with the specification language,and advanced the reliability of the system development.