Author:
Ma Qin,Kaczmarek-Heß Monika,de Kinderen Sybren
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference130 articles.
1. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice, Lecture Notes in Computer Science, vol. 10001. Springer (2016)
2. Alaca, O.F., Tezel, B.T., Challenger, M., Goulão, M., Amaral, V., Kardas, G.: AgentDSM-Eval: A framework for the evaluation of domain-specific modeling languages for multi-agent systems. Computer Standards & Interfaces 76, 103–513 (2021)
3. Almonte, L., Guerra, E., Cantador, I., De Lara, J.: Recommender systems in model-driven engineering. Software and Systems Modeling pp. 1–32 (2021)
4. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press (2016)
5. Antunes, G., Barateiro, J., Caetano, A., Borbinha, J.: Analysis of federated enterprise architecture models. In: ECIS 2015 Completed Research Papers (2015)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献