首页> 外文OA文献 >Usability of semi-formal and formal methods integration : empirical assessments

【2h】

Usability of semi-formal and formal methods integration : empirical assessments

机译：半正式和正式方法整合的可用性：实证评估

代理获取

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

页面导航

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

摘要

EThOS - Electronic Theses Online Service

机译：EThOS-电子论文在线服务

著录项

作者
Razali Rozilawati;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Semi-Formal and Formal Notation Automated Assessment [J] . Noraida Haji Ali, Zarina Shukur, Sufian Idris Asian Journal of Information Technology . 2006,第12期

机译：半正式和正式符号自动评估
2. Using semi-formal methods for detecting interactions among smart homes policies [J] . Mohamed Shehata, Armin Eberlein, Abraham Fapojuwo Science of Computer Programming . 2007,第2a3期

机译：使用半正式方法检测智能家居策略之间的交互
3. How to Improve the Production Process for interactive TV with semi-formal Methods [J] . Matthias Rauterberg, Michel Alders, Reinder Haakma Journal of Virtual Reality and Broadcasting . 2007,第2007期

机译：如何用半正式方法改进交互式电视的生产过程
4. An approach to integrating semi-formal and formal notations in software specification [C] . Sergiu Dascalu, Peter Hitchcock ACM symposium on Applied computing . 2002

机译：一种在软件规范中集成半正式和正式符号的方法
5. Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. [D] . Abbate, Andrew J. 2017

机译：安全关键系统的基于模型的可用性分析：正式方法框架。
6. Are Three Methods Better Than One? A Comparative Assessment of Usability Evaluation Methods in an EHR [O] . Muhammad F Walji, Elsbeth Kalenderian, Mark Piotrowski, -1

机译：三种方法比一种更好吗？电子病历中可用性评估方法的比较评估
7. Usability of Semi-formal and Formal Methods Integration - Empirical Assessments [O] . Razali Rozilawati 100

机译：半正式和形式方法整合的可用性 - 经验评估

Usability of semi-formal and formal methods integration : empirical assessments

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅