Author:
Crowder James A.,Hoff Curtis W.
Publisher
Springer International Publishing
Reference39 articles.
1. Rierson, L. (2017). Developing safety-critical software: A practical guide for aviation software and DO-178C compliance (p. 10). CRC Press.
2. Abrial, J. R. (2010). Modeling in event-B: System and software engineering (p. 11). Cambridge University Press.
3. Abrial, J. R., Butler, M., Hallerstede, S., Hoang, T. S., Mehta, F., & Voisin, L. (2010). Rodin: An open toolset for modelling and reasoning in event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447–466. 12.
4. Behutiye, W., Karhapaa, P., Costal, D., Oivo, M., & Franch, X. (2017). Non-functional requirements documentation in agile software development: Challenges and solution proposal. In Product-focused software process improvement (pp. 515–522). Springer. 13.
5. Golra, F. R., Beugnard, A., Dagnat, F., Guerin, S., & Guychard, C. (2016). Continuous requirements engineering using model federation. In 24th international requirements engineering conference (RE) (pp. 347–352) 14.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献