首页> 外文OA文献 >An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method

【2h】

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method

机译：任务代数的实现，发现方法中任务模型的形式规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fernández-Fernández C.A.; Simons A.J.H.;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method [J] . Fernández-Fernández C.A., Simons A.J.H. Journal of Applied Research and Technology . 2014,第5期

机译：任务代数的实现，发现方法中任务模型的形式规范
2. Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction [J] . Bolton M.L., Jimenez N., van Paassen M.M., Human-Machine Systems, IEEE Transactions on . 2014,第5期

机译：从任务模型自动生成规范属性，以进行人与自动化交互的形式验证
3. Use Case and Task Models: An Integrated Development Methodology and Its Formal Foundation [J] . DANIEL SINNIG, PATRICE CHALIN, FERHAT KHENDEK ACM transactions on software engineering and methodology . 2013,第3期

机译：用例和任务模型：集成开发方法及其正式基础
4. Formal Specification and Implementation Using a Task Flow Diagram in Interactive System Design [C] . Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki World Multiconference on Systemics, Cybernetics and Informatics(SCI 2001) v.1: Information Systems Development; 20010722-20010725; Orlando,FL; US . 2001

机译：交互式系统设计中使用任务流程图的形式化规范和实现
5. Using Task Analytic Behavior Modeling, Erroneous Human Behavior Generation, and Formal Methods to Evaluate the Role of Human-automation Interaction in System Failure. [D] . Bolton, Matthew L. 2010

机译：使用任务分析行为建模，错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
6. Task‐based functional connectivity in aging: How task and connectivity methodology affect discovery of age effects [O] . Eleanna Varangis, Christian G. Habeck, Yaakov Stern 2021

机译：老化任务的功能连接：任务和连接方法如何影响年龄效应的发现
7. An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method [O] . C.A. Fernández-Fernández, A.J.H. Simons 2014

机译：任务代数的实现，发现方法中任务模型的形式规范
8. Formal Methods for Information Protection Technology. Task 2: Mathematical Foundations, Architecture and Principles of Implementation of Multi-Agent Learning Components for Attack Detection in Computer Networks. Part 2 [R] . Kotenko, I. V. 2003

机译：信息保护技术的形式化方法。任务2：计算机网络中攻击检测的多智能学习组件的数学基础，体系结构和实现原理。第2部分

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method

著录项

引文网络

相似文献

相关主题

期刊订阅