Stone_Dhiensa_May.pdf (51.75 kB)
Download fileProving the validity and accessibility of dynamic web pages
online resource
posted on 2007-02-13, 13:45 authored by Roger Stone, Jatinder DhiensaIf 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 bytesCitation
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 2004Publication date
2004Notes
This is a refereed conference paper.ISBN
1581139039Language
- en