A Formal Approach to Website Maintenance

机译：网站维护的正式方法

获取原文

页面导航

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

摘要

The quality of our daily life is getting more and more dependent on the quality of many important web applications running on the Internet. With the rapid evolutions of the web applications, effective maintenance techniques to guarantee the correctness of

机译：我们日常生活的质量越来越依赖于Internet上运行的许多重要Web应用程序的质量。随着Web应用程序的飞速发展，有效的维护技术可确保Web应用程序的正确性。

著录项

来源
《High-Assurance Systems Engineering (HASE), 2007 IEEE International Symposium on》|2007年|P.419-420|共2页
会议地点 PlanoTX
作者
Duan; Lihua; Chen; Jessica;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
formal verification; labelled transition systems; reverse engineering.; tree automata;

机译：正式验证；标记过渡系统；逆向工程。;树自动机;

相似文献

外文文献
中文文献
专利

1. Website categorization: A formal approach and robustness analysis in the case of e-commerce detection [J] . Bruni Renato, Bianchi Gianpiero Expert systems with applications . 2020,第Mara期

机译：网站分类：电子商务检测情况下的正式方法和鲁棒性分析
2. Modelling Impacts of Maintenance, Staff Management and Collaboration on E-government Website Availability: A Qualitative System Dynamics Approach [J] . Gunadi Procedia Computer Science . 2015,第1期

机译：维护，员工管理和协作对电子政务网站可用性的影响建模：一种定性的系统动力学方法
3. Modelling Impacts of Maintenance, Staff Management and Collaboration on E-government Website Availability: A Qualitative System Dynamics Approach [J] . Gunadi Procedia Computer Science . 2015,第1期

机译：维护，员工管理和协作对电子政务网站可用性的影响建模：一种定性的系统动力学方法
4. A Formal Approach to Website Maintenance [C] . Lihua Duan, Jessica Chen IEEE High Assurance Systems Engineering Symposium . 2007

机译：网站维护的正式方法
5. A comparative analysis on relationship maintenance strategies between official state tourism Websites and online travel agencies' Websites in the U.S. [D] . Zhu, Lei 2011

机译：美国官方州旅游网站与在线旅行社网站之间的关系维护策略比较分析
6. Examining the wider context of formal youth mentoring programme development delivery and maintenance: A qualitative study with mentoring managers and experts in the United Kingdom [O] . Heide Busse, Rona Campbell, Ruth Kipping -1

机译：研究正式青年指导计划的制定实施和维护的更广泛背景：与英国的指导经理和专家进行的定性研究
7. A Formal Approach to Website Maintenance [O] . 2008

机译：网站维护的正式方法
8. Formal Methods for Information Protection Technology Task 1: Formal Grammar-Based Approach and Tool for Simulation Attacks against Computer Network Part II [R] . Karsayev, O. V. , Kotenko, I. V. 2004

机译：信息保护技术的形式化方法任务1：基于形式语法的方法和模拟计算机网络攻击工具第二部分

A Formal Approach to Website Maintenance

摘要

著录项

相似文献

相关主题

期刊订阅