Bibliography

1

World Wide Web Consortium:
URL :http://www.w3c.org

2

Core JavaScript Reference 1.5:
URL :http://devedge.netscape.com/library/manuals/2000
/javascript/1.5/reference/

3

Micah Dubinko, Dave Raggett, Sebastian Schnitzenbaumer, Malte Wedel. XForms Requirements: W3C Working Draft.
URL:http://www.w3.org/TR/xhtml-forms-req.

4

Micah Dubinko, Leigh L. Klotz, Roland Merrick and T. V. Raman. XForms1.0. W3C Candidate Recommendation, 12 November 2002.
URL:http://www.w3.org/TR/2002/CR-xforms-20021112/.

5

XML Path Language (XPath) Version 1.0. W3C Recommendation, 16 November 1999.
URL:http://www.w3.org/TR/xpath.

6

XForms - The Next Generation of Web Forms, W3C.
URL:http://www.w3c.org/MarkUp/Forms/.

7

Claus Brabrand, Anders Moller, Mikkel Ricky and Michael I. Schwartzbach. PowerForms: Declarative Client-side Form Field Validation, In World Wide Web Journal, vol. 3, no. 4.

8

Wood L. et al. Document Object Model (DOM) Level 1 Specification (Second Edition).W3C, 2000.
URL:http://www.w3.org/TR/2000/WD-DOM-Level-1-20000929/.

9

Wm Leler :Constraint Programming Languages, Their Specification and Generation, Addison-Wesley 1988.ISBN 0-201-06243-7.

10

Mikkel Ricky : Automatisk validering af webbaserede formularer,
Speciale DAIMI, Aarhus Universitet, Denmark, May 2002.

11

Guy Steele : The Definition and Implementation of a Computer Programming Language Based on Constraints, AI Technical Report No. AI-TR-595, Department of Artificial Intelligence, MIT, USA.

12

John Boyer and Mikko Honkala: The XForms Computation Engine : Rationale, Theory and Implementation Experience. In Proc. of the 6th IASTED International Conference, Internet and Multimedia Systems, and Applications (IMSA 2002), August 12-14, 2002, Kauai, Hawaii, USA.

13

Scalable Vector Graphics (SVG) 1.1/1.2/2.0 Requirements, W3C Working Draft, 22 April 2002.
URL:http://www.w3.org/TR/SVG2Reqs/.

14

Synchronized Multimedia Integration Language(SMIL). URL:http://www.w3c.org/AudioVideo/.

15

Jennifer Niederst. Web Design in a NutShell, A Desktop Quick Reference,O'Reilly, 2nd Edition, 2001.

16

2002 FIFA World Cup HomePage. URL:http://fifaworldcup.yahoo.com/.

17

Claus Brabrand, Michael I. Schwartzbach and Mads Vanggaard. The METAFRONT System: Extensible Parsing Transformation, LDTA 2003, Warsaw, Poland.

18

Jay Earley. An Efficient Context-Free Parsing Algorithm, pg 94-102,Commuinications of the ACM, Volume 13 Number 2, 1970.

19

Aske Simon Christensen, Anders Moller and Michael I. Schwartzbach: Extending Java for High-Level Web Service Construction [to appear] in ACM Transactions on Programming Languages and Systems.

20

Claus Brabrand, Anders Moller and Michael I. Schwartzbach: Static Validation of Dynamically Generated HTML, PASTE, Snowbird, Utah, 2001.

21

Abdoulraouf A. Elbibasand and M. J. Ridley: Generation and Validation of HTML forms using Metadata, PGNet2003.

22

Frank van Harmelen, Jos van der Meer. WebMaster: Knowledge-based Verification of Web-Pages, Practical Application of Knowledge Management, PAKeM'99.

23

Arvind K. Joshi, Leon S. Levy and Kang Yueh: Local constraints in the syntax and semantics of programming languages, Fifth Annual ACM Symposium on Principles of Programming Languages.

24

XML Schema. W3C URL:http://www.w3c.org/XML/Schema.

25

Claus Brabrand. Synthesizing Safety Controllers for Interactive Web Services, Master's Thesis, URL:http://compose.labri.u-bordeaux.fr/people/brabrand/.

26

Claus Brabrand. Domain Specific Languages for Interactive Web Services, PhD Dissertation, November 2002, University of Aarhus, Denmark.

27

Netscape Corp. Javascript form validation sample code.
URL:http://developer.netscape.com/docs/examples/javascript/formval/overview.html.

28

M.C. Rousset. Verifying the World Wide Web: a position statement. In F. van Harmelen and J. van Thienen, editors, Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems(EUROVAV'97).

29

XFDL - Extensible Form Description Language available at
URL : http://www.pureedge.com/xfdl/.