Author:
Tenbergen Bastian,Weyer Thorsten
Funder
Bundesministerium für Bildung und Forschung
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference80 articles.
1. Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, pp. 228–235 (2001)
2. Ammar, L., Trabelski, A., Mahfoudhi, A.: Incorporating usability requirements into model transformation technologies. Requir. Eng. 20, 465–479 (2015)
3. Aurum, A., Petersson, H., Wohlin, C.: State-of-the-art: software inspections after 25 years. Softw. Test. Verif. Reliab. 12(3), 133–154 (2002)
4. Awodey, S.: From sets to types, to categories, to sets. In: Sommaruga, G. (ed.) Foundational Theories of Classical and Constructive Mathematics, pp. 113–125. Springer, Heidelberg (2011)
5. Basir, N., Denney, E., Fischer, B.: Deriving safety cases for hierarchical structure in model-based development. In: Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security, pp. 68–81 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Context modeling for cyber‐physical systems;Journal of Software: Evolution and Process;2022-04-08
2. SACC - A property driven approach to expose undesired behaviors among system’s components;2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE);2020-10