15
Related Work - Checking Semantics of Websites
§Thierry Despeyroux - Brigitte Trousse
§http://www-rocq.inria.fr/~tdespeyr/papers/riao2000-2
§Applications of NS to Markup Language Based Documents
§specifying the semantics of new XML languages with Natural Semantics
§translation from DTD to a form of Abstract Syntax Tree
§
§Maintaining of Web Sites – Examples
§Specifying a Thematic Directory
§Specifying the Coherence of an Institutional Site
§
§
§
§