A formal approach to website maintenance

被引：1
|
作者：
Duan, Lihua [1 ]
Chen, Jessica [1 ]
机构：
[1] Univ Windsor, Sch Comp Sci, Windsor, ON N9B 3P4, Canada
来源：
HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 2007年
关键词：
formal verification; labelled transition systems; tree automata; reverse engineering;
D O I：
10.1109/HASE.2007.52
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 the evolutions are highly demanded. We present our initial work on exploring automated verification techniques for this purpose, via algebraic reasoning and model checking on the abstract navigational behavior of the evolving web applications expressed in labelled transition systems, against the desired properties expressed in temporal logic formulas combined with tree automata.
引用
收藏
页码：419 / 420
页数：2
相关论文
共 50 条
  • [41] HISE - An algorithmic approach to evolve a usable website
    Banati, H
    Bedi, P
    [J]. HCI '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON HUMAN-COMPUTER INTERACTION, 2005, : 17 - 23
  • [42] A design science research approach to website benchmarking
    Cassidy, Leonie
    Hamilton, John
    [J]. BENCHMARKING-AN INTERNATIONAL JOURNAL, 2016, 23 (05) : 1054 - 1075
  • [43] Destination website management: A social constructionist approach
    Kanazawa, Flavio Notomi
    Lourencao, Marina
    Caldeira de Oliveira, Jorge Henrique
    Engracia Giraldi, Janaina de Moura
    [J]. JOURNAL OF DESTINATION MARKETING & MANAGEMENT, 2021, 19
  • [44] WebN: A Strainer Approach for Website Performance Analysis
    Patel, Charmy
    Gulati, Ravi
    [J]. NETWORKING COMMUNICATION AND DATA KNOWLEDGE ENGINEERING, VOL 2, 2018, 4 : 3 - 13
  • [45] Connectionist approach for website visitors behaviors mining
    Benabdeslem, K
    Bennani, YS
    Janvier, E
    [J]. ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 511 - 515
  • [46] An approach to website schema.org design
    Tort, Albert
    Olive, Antoni
    [J]. DATA & KNOWLEDGE ENGINEERING, 2015, 99 : 3 - 16
  • [47] Increasing interest in rheumatology training: A website approach
    Shojania, K
    [J]. JOURNAL OF RHEUMATOLOGY, 2005, 32 (07) : 1402 - 1402
  • [48] Application of formal methods to the development of a software maintenance tool
    Blazy, S
    Facon, P
    [J]. AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 162 - 171
  • [49] A survey of using formal concept analysis for software maintenance
    Sun, Xiao-Bing
    Li, Yun
    Li, Bi-Xin
    Wen, Wan-Zhi
    [J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2015, 43 (07): : 1399 - 1406
  • [50] Counterfactual Transportability: A Formal Approach
    Correa, Juan D.
    Lee, Sanghack
    Bareinboim, Elias
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
12345