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)