Publisher
Springer International Publishing
Reference33 articles.
1. Akhawe, D., Barth, A., Lam, P.E., Mitchell, J.C., Song, D.: Towards a formal foundation of web security. In: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, 17–19 July 2010, pp. 290–304. IEEE Computer Society (2010). https://doi.org/10.1109/CSF.2010.27
2. Alloy: Alloy Tools GitHub. https://github.com/AlloyTools (2022). Accessed 5 2022
3. Alloy 6 Language Reference. https://alloytools.org/spec.html (2022). Accessed 8 2022
4. 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). https://doi.org/10.1007/s10270-008-0110-3
5. Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14(1), 5–25 (2013). https://doi.org/10.1007/s10270-013-0353-5
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Blockchain-Powered Loan Management System Enhanced with Smart Contract;2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC);2024-01-08
2. An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding;Lecture Notes in Computer Science;2024
3. Integrating Testing into the Alloy Model Development Workflow;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
4. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests;Smart Cities;2023-05-03