Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/2660

Title: Proving the validity and accessibility of dynamic web pages
Authors: Stone, R.G.
Dhiensa, Jatinder
Issue Date: 2004
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
Abstract: 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.
Description: This is a refereed conference paper.
URI: https://dspace.lboro.ac.uk/2134/2660
ISBN: 1581139039
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
Stone_Dhiensa_May.pdf51.75 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.