关注
Fatma KACHI
Fatma KACHI
University of Constantine 2
在 univ-constantine2.dz 的电子邮件经过验证
标题
引用次数
引用次数
年份
A formal model for quality-driven decision making in self-adaptive systems
F Kachi, C Bouanaka, S Merkouche
arXiv preprint arXiv:2012.01651, 2020
42020
A hybrid model for efficient decision-making in self-adaptive systems
F Kachi, C Bouanaka
Information and Software Technology 153, 107063, 2023
12023
Aster: A DSL for Engineering Self-Adaptive Systems
F Kachi, C Bouanaka
International Conference on Computing Systems and Applications, 39-49, 2022
2022
Quality-driven Formal Modelling of the Travel Planner Application.
F Kachi, C Bouanaka
RIF, 48-60, 2022
2022
Towards Formal Modeling of Quality-driven Systems under uncertainty
S Merkouche, C Bouanaka, F Kachi
2020 International Conference on Advanced Aspects of Software Engineering …, 2020
2020
系统目前无法执行此操作，请稍后再试。
文章 1–5
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交