Author:
Mahmud Nesredin,Seceleanu Cristina,Ljungkrantz Oscar
Publisher
Springer International Publishing
Reference34 articles.
1. Martins, L.E.G., Gorschek, T.: Requirements engineering for safety-critical systems: a systematic literature review. Inf. Softw. Technol. 75, 71–89 (2016)
2. Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2010)
3. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), pp. 411–420, May 1999
4. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: 27th International Conference on Software Engineering (ICSE), pp. 372–381, May 2005
5. Jacobson, P., Semantics, C.: An Introduction to the Syntax/Semantics Interface. Oxford University Press, Oxford (2014)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献