Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference60 articles.
1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69–86 (2010)
2. Antkiewicz, M., Bak, K., Murashkin, A., Olaechea, R., Liang, J., Czarnecki, K.: Clafer tools for product line engineering. In: SPLC, Tokyo, Japan (2013)
3. ARINC—Aeronautical Radio, Incorporated: A653—Avionics Application Software Standard Interface. http://www.aviation-ia.com/standards
4. AUTOSAR Consortium: The AUTOSAR Standard (2013). http://www.autosar.org/
5. Bak, K., Czarnecki, K., Wasowski, A.: Feature and meta-models in clafer: mixed, specialized, and coupled. In: 3rd International Conference on Software Language Engineering. Eindhoven, The Netherlands (2010). doi: 10.1007/978-3-642-19440-5_7
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leveraging the power of formal methods in the realm of enterprise modeling—On the example of extending the (meta) model verification possibilities of ADOxx with Alloy;Computers in Industry;2023-10
2. System architecture synthesis for performability by logic solvers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
3. Consistent Scene Graph Generation by Constraint Optimization;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
4. MetaMorph: formalization of domain-specific conceptual modeling methods—an evaluative case study, juxtaposition and empirical assessment;Software and Systems Modeling;2022-10-06
5. Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12