Integrated Formal Methods
Integrated Formal Methods
复制标题
综合形式化方法
DOI：
10.1007/978-3-319-33693-0_8
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Andrei O
中科院分区：
文献类型：
--
作者：
Andrei O
用户密集型移动的应用程序的评估和重新设计是具有挑战性的，因为用户往往是异构的，在不同的时间采用不同的活动模式。我们提出了一个过程，集成的统计，纵向分析的实际记录的行为，正式的，概率离散状态modelsof活动模式，并假设这些模型表示为概率时序逻辑properties通知重新设计。我们采用正式的方法，而不是设计的移动的应用程序，但不同的概率模式的actualuseover不同的时间削减内的用户群体。我们定义了整个过程，从识别问题，让我们深入了解应用程序的使用情况，事件记录，从日志中提取数据，模型推理，时序逻辑属性的制定，结果的可视化，并在重新设计的背景下解释。我们通过一个真实的案例研究来说明这个过程，这导致了一个新的和有原则的方式来选择扩展到移动的应用程序的内容。
Evaluation and redesign of user-intensive mobile applications is challenging because users are often heterogeneous, adopting different patterns of activity, at different times. We set out a process of integratingstatistical, longitudinal analysis of actual logged behaviours,formal, probabilistic discrete state modelsof activity patterns, and hypotheses over those models expressed asprobabilistic temporal logic propertiesto inform redesign. We employ formal methods not to the design of the mobile application, but to characterise the different probabilistic patterns of actualuseover various time cuts within a population of users. We define the whole process from identifying questions that give us insight into application usage, to event logging, data abstraction from logs, model inference, temporal logic property formulation, visualisation of results, and interpretation in the context of redesign. We illustrate the process through a real-life case study, which results in a new and principled way for selecting content for an extension to the mobile application.
登录
查看更多内容
使用测试规范生成生产自动化中的监控功能
DOI：
--
发表时间：
2017
期刊：
International Conference on Industrial Informatics
影响因子：
--
作者：
Suhyun Cha;Sebastian Ulewicz;B. Vogel‐Heuser;A. Weigl;Mattias Ulbrich;Bernhard Beckert
通讯作者：
Bernhard Beckert
通过 UML-RT 设计模型转换来实现实时系统形式化规范的方法论途径
影响因子：
1.3
作者：
K. B. Akhlaki;M. Capel;J. A. H. Terriza;L. Mendoza
通讯作者：
L. Mendoza
DOI：
10.1016/j.robot.2012.03.003
发表时间：
2012
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
C. Dixon;A. Winfield;Michael Fisher;Chengxiu Zeng
通讯作者：
Chengxiu Zeng
志愿者云中协作任务执行的计算领域框架
DOI：
--
发表时间：
2014
期刊：
International Symposium on Software Engineering for Adaptive and Self-Managing Systems
影响因子：
--
作者：
Stefano Sebastio;M. Amoretti;Alberto Lluch
通讯作者：
Alberto Lluch
使用受体密度算法进行化学检测
DOI：
--
发表时间：
2012
期刊：
IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
影响因子：
--
作者：
J. Hilder;Nick D. L. Owens;M. Neal;Peter J. Hickey;Stuart N. Cairns;D. Kilgour;J. Timmis;A. Tyrrell
通讯作者：
A. Tyrrell