1. Formal modeling and analysis of software requirement defects based on UML [J];zhetao;Automation instrumentation,2019
2. Research on meta-requirement model and meta-requirement set based on ontology;xin-xing;Application Research of Computers,2012
3. Meta-requirement Method Towards Analyzing Completeness of Requirements Specification[C];ong;Proceedings of the Future Technologies Conference,2018
4. High credibility software engineering technology [J];huowang;Acta Electronica Sinica,2003
5. Summary of major research programs of Trusted Software Basic Research [J];jifeng;Science Foundation of China,2018