Author:
Wen Hao,Wu Jinzhao,Jiang Jianmin,Li Jianqing,Hong Zhong
Publisher
Springer Nature Singapore
Reference51 articles.
1. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-B. Fund. Inform. 77(1–2), 1–28 (2007)
2. Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515–526 (2006)
3. Lecture Notes in Computer Science;MF van Amstel,2012
4. Anquetil, N., et al.: A model-driven traceability framework for software product lines. Softw. Syst. Model. 9(4), 427–451 (2010)
5. ANSI/IEEE: IEEE guide to software requirements specification, ANSI/IEEE std 830-1984 (1984)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献