analysis; formal methods; modelling; requirements; software product lines; usability;
机译:评估符合人体工程学产品中的可用性问题和使用错误:分析方法和可用性测试
机译:验证和验证中可使用的正式方法的需求
机译:心理学实验创作套件(PEAK):用于创建计算机化实验的易于使用的方法的正式可用性测试
机译:有关提高产品线形式化方法可用性的建议
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:使用正式的共识开发技术来提出建议以提高成人心理健康多学科团队会议的有效性
机译:半正式和正式方法整合的可用性:实证评估