Based on Formal Methods in Trustable Software Requirements Engineering

@article{Gao2010BasedOF,
  title={Based on Formal Methods in Trustable Software Requirements Engineering},
  author={Honghao Gao and Shuoping Wang},
  journal={2010 International Conference on Internet Technology and Applications},
  year={2010},
  pages={1-4}
}
In order to strengthen the reliability of software and improve the efficiency of software development, this paper proposes a formal methodology for software requirements engineering and designs a model which consists of MZASR (Model based on Z language to analysis software requirements) and MZMSR (Model based on Z language to management software… CONTINUE READING