An Empirical Study Assessing Software Modeling in Alloy
An Empirical Study Assessing Software Modeling in Alloy
复制标题
评估合金软件建模的实证研究
DOI：
10.1109/formalise58978.2023.00013
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Sharif, Bonita
中科院分区：
文献类型：
--
作者：
Mansoor, Niloofar;Bagheri, Hamid;Kang, Eunsuk;Sharif, Bonita
登录
查看更多内容
ARepair：合金修复框架
DOI：
10.1109/icse-companion.2019.00049
发表时间：
2019
期刊：
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
影响因子：
--
作者：
Kaiyuan Wang;Allison Sullivan;S. Khurshid
通讯作者：
S. Khurshid
Sterling：基于 Web 的关系建模语言可视化工具
DOI：
10.1007/978-3-030-77543-8_7
发表时间：
2021
期刊：
2010 17th Working Conference on Reverse Engineering
影响因子：
--
作者：
Tristan Dyer;J. Baugh
通讯作者：
J. Baugh
开发工具的可用性：案例研究
DOI：
--
发表时间：
2019
期刊：
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
影响因子：
--
作者：
Thomas Weber;Alois Zoitl;H. Hussmann
通讯作者：
H. Hussmann
DOI：
10.1145/3236024.3275534
发表时间：
2018-10
期刊：
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子：
--
作者：
Niloofar Mansoor;Jonathan A. Saddler;Bruno Vieira Resende e Silva;H. Bagheri;Myra B. Cohen;S. Farritor
通讯作者：
Niloofar Mansoor;Jonathan A. Saddler;Bruno Vieira Resende e Silva;H. Bagheri;Myra B. Cohen;S. Farritor
形式化方法中的人类
DOI：
--
发表时间：
2019
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
S. Krishnamurthi;Tim Nelson
通讯作者：
Tim Nelson