首页> 外文OA文献 >Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

【2h】

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

机译：通过模型检查和导航状态机的运行时实施来消除Web应用程序中的导航错误

代理获取

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

页面导航

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

著录项

作者
Sylvain Hallé; Tevfik Bultan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A model of consumer Web navigational behavior: Conceptual development and application [J] . Marie-Odile Richard, Ramdas Chandra Operations Research . 2006,第2期

机译：消费者Web导航行为模型：概念开发和应用
2. A model of consumer web navigational behavior: conceptual development and application [J] . Marie-Odile Richard, Ramdas Chandra Journal of Business Research . 2005,第8期

机译：消费者Web导航行为模型：概念开发和应用
3. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour [J] . Sara E. Sprenkle, Lori L. Pollock, Lucy M. Simko Software Testing, Verification and Reliability . 2013,第6期

机译：通过分析用户行为为Web应用程序配置有效的导航模型和抽象测试用例
4. Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines [C] . Sylvain Halie, Taylor Ettema, Chris Bunch, IEEE/ACM international conference on automated software engineering 2010 . 2010

机译：通过模型检查和导航状态机的运行时执行来消除Web应用程序中的导航错误
5. Model checking: Correct Web page navigations with browser behavior. [D] . Zhao, Xiaoshan. 2004

机译：模型检查：纠正具有浏览器行为的网页导航。
6. Simulation reduces navigational errors in cerebral angiography training [O] . Oleksiy Zaika, Mel Boulton, Roy Eagleson, 2020

机译：仿真降低了脑血管造影训练中的导航误差
7. Model Driven Extraction of the Navigational Concern of Legacy Web Applications [O] . Roberto Rodríguez-Echeverría, José M. Conejero, Pedro J. Clemente, 2012

机译：遗留Web应用程序导航关注的模型驱动
8. Isolating Errors in Models of Complex Systems With Application to InertialNavigation, [R] . Maryak, J. L., Asher, M. S. 1991

机译：应用于惯性导航，分离复杂系统模型中的误差，

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

著录项

引文网络

相似文献

相关主题

期刊订阅