首页> 外文OA文献 >Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW

【2h】

Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW

机译：协助采用模型检查的集团软件开发 - WWW合作工作的案例研究

代理获取

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

页面导航

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

著录项

作者
Constantinos Papadopoulos;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Assisting Groupware Development with Model Checking – Case Studies from Cooperative Work in the WWW [J] . Constantinos Papadopoulos The Open Information Systems Journal . 2007,第1期

机译：通过模型检查协助组件开发–来自WWW合作工作的案例研究
2. Assisting The Design Of A Groupware System - Model Checking Usability Aspects Of Thinkteam [J] . Maurice H. ter Beek, Stefania Gnesi, Diego Latella, The Journal of logic and algebraic programming . 2009,第4期

机译：辅助组件系统的设计-Thinkteam的可用性检查模型
3. Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking [J] . Muhammad Shahabuddin, Mohammad Nazeeruddin, Bashar Abul, Journal of Intelligent & Robotic Systems: Theory & Application . 2019,第3a4期

机译：使用概率模型检查设计人类辅助无线传感器和机器人网络
4. Development of an assistive system for checking the vibration magnitude exposed to the hand-arm of workers at the worksite [C] . Kazuhisa MIYASHITA, Setsuo MAEDA, Shigeki TAKEMURA, International Congress and Exposition on Noise Control Engineering . 2018

机译：开发辅助系统，用于检查振动幅度暴露于工地工人手臂的振动幅度
5. Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study. [D] . Krishnan, Sandeep. 2009

机译：在SAFER案例研究中开发和评估了公式编辑器（一种基于工具的方法来增强软件产品线模型检查中的可重用性）。
6. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions [O] . Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 2019

机译：基于模型检查的环境辅助生活解决方案分析框架
7. Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW [O] . Constantinos Papadopoulos 2007

机译：协助采用模型检查的集团软件开发 - WWW合作工作的案例研究

Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW

著录项

引文网络

相似文献

相关主题

期刊订阅