首页> 外文期刊>Automated software engineering >An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
【24h】

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

机译:用于分析可靠交互系统(IFADIS)的集成框架:其工具支持和评估

获取原文
获取原文并翻译 | 示例

摘要

This paper discusses a method for the analysis of dependable interactive systems using model checking, and its support by a tool designed to make it accessible to a broader community. The method and the tool are designed to be of value to system engineers, usability engineers and software engineers. It has been designed to help usability engineers by making those aspects of the analysis relevant to them explicit while concealing those aspects of modelling and model checking that are not relevant. The paper presents the results of a user evaluation of the effectiveness of aspects of the tool and how it supports the proposed method.
机译:本文讨论了一种使用模型检查来分析可靠的交互系统的方法,以及该工具的支持,该工具旨在使更广泛的社区可以访问它。该方法和工具被设计为对系统工程师,可用性工程师和软件工程师有价值。它旨在通过明确说明与他们相关的那些方面,同时隐藏与建模和模型检查无关的那些方面来帮助可用性工程师。本文介绍了用户对该工具各方面的有效性以及如何支持所提出的方法的评估结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号