Specifying Abstract user Interface in VDM-SL

Specifying Abstract user Interface in VDM-SL
复制标题

在 VDM-SL 中指定抽象用户界面

DOI:
--
复制
发表时间:
2020
期刊:
影响因子:
--
通讯作者:
Peter Gorm Larsen
Peter Gorm Larsen
中科院分区:
--
文献类型:
--
作者:
Tomohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Han-Myung Chang;Peter Gorm Larsen

文献摘要

参考文献

相似文献

桌面活动挖掘 - 挖掘业务流程的细节达到新水平
DOI: --
发表时间: 2018
期刊: --
影响因子: --
作者:
Christian Linn;Phileas Zimmermann;Dirk Werth
通讯作者: Dirk Werth
从用户界面日志反应式合成 RPA 中的软件机器人
DOI: 10.1016/j.compind.2022.103721
发表时间: 2022
期刊: Comput. Ind.
影响因子: --
作者:
Simone Agostinelli;Marco Lupia;Andrea Marrella;Massimo Mecella
通讯作者: Massimo Mecella
使用事件图对进程中的任务执行和例程进行分类和检测
DOI: --
发表时间: 2021
期刊: International Conference on Business Process Management
影响因子: --
作者:
E. Klijn;F. Mannhardt;Dirk Fahland
通讯作者: Dirk Fahland
用户界面日志的交互式分段
DOI: 10.1007/978-3-030-91431-8_5
发表时间: 2021
期刊: --
影响因子: --
作者:
Simone Agostinelli;F. Leotta;Andrea Marrella
通讯作者: Andrea Marrella
流程相关用户交互日志的参考数据模型
DOI: 10.48550/arxiv.2207.12054
发表时间: 2022
期刊: ArXiv
影响因子: --
作者:
Luka Abb;Jana
通讯作者: Jana