Loughborough University
Browse
Stone_Dhiensa_May.pdf (51.75 kB)

Proving the validity and accessibility of dynamic web pages

Download (51.75 kB)
online resource
posted on 2007-02-13, 13:45 authored by Roger Stone, Jatinder Dhiensa
If a static web-page is checked for accessibility and passes then all is well. However checking the accessibility of the output from a dynamic (scripted) web-page is like testing a program to find errors. However many times a test succeeds it is always possible that the program will produce bad output next time. What is needed is something closer to a proof of correctness. This paper describes a first attempt to provide a proof of validity for dynamic web-pages which can be extended to a proof of accessibility.

History

School

  • Science

Department

  • Computer Science

Pages

52997 bytes

Citation

STONE and DHIENSA, 2004. Proving the validity and accessibility of dynamic web pages. IN: Harper, Yesilda and Goble (eds.), Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 13th International World Wide Web Conference, New York, May 2004

Publication date

2004

Notes

This is a refereed conference paper.

ISBN

1581139039

Language

  • en

Usage metrics

    Loughborough Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC