AMBOSS: A Task Modeling Approach for Safety-Critical Systems

Author:

Giese Matthias,Mistrzyk Tomasz,Pfau Andreas,Szwillus Gerd,Detten Michael

Publisher

Springer Berlin Heidelberg

Reference19 articles.

1. Amboss: Homepage of the AMBOSS project, Universität Paderborn, Institut für Informatik (accessed April 2008), http://wwwcs.upb.de/cs/ag-szwillus/lehre/ws05_06/PG/PGAMBOSS/index.php

2. Barboni, E., Navarre, D., Palanque, P., et al.: A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. In: Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seattle, USA (September 2006)

3. Baron, M., Lucquiaud, V., Autard, D., et al.: K-MADe: un environement pour le noyau du modèle de description de l’activité. In: Proceedings of the 18th French-speaking conference on Human-computer interaction, Montreal, Canada, April 18-21 (2006)

4. Bellamy, L.J., Geyer, T.A.W.: Development of a working model of how human factors, safety management systems and wider organisational issues fit together. Health and Safety Executive Report, RR543 (2007), http://www.hse.gov.uk/research/rrpdf/rr543.pdf (accessed, June 2007)

5. Biere, M., Bomsdorf, B., Szwillus, G.: Specification and simulation of task models with VTMB. In: CHI 1999 Extended Abstracts on Human Factors in Computing Systems, Pittsburgh, Pennsylvania, May 15 - 20, 1999. ACM Press, New York (1999)

Cited by 22 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Modelling Software Tasks for Supporting Resource-Driven Adaptation;Enterprise Information Systems;2023

2. SERIES: A Task Modelling Notation for Resource-driven Adaptation;Proceedings of the 24th International Conference on Enterprise Information Systems;2022

3. Analysing and Demonstrating Tool-Supported Customizable Task Notations;Proceedings of the ACM on Human-Computer Interaction;2019-06-13

4. Supporting Interactive System Development Following MR-MPS-SW with HCI Approaches;2018 XLIV Latin American Computer Conference (CLEI);2018-10

5. Real-Time Anomaly Detection in Elderly Behavior with the Support of Task Models;Proceedings of the ACM on Human-Computer Interaction;2018-06-19

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3