Communication of Knowledge from Synthesised Web Sites
This work concerns reuse of formal specifications of Worldwide Web site
One way to achieve this goal is by means of synthesis of Web sites given
a description of the application in a domain specific formal language.
This language should provide a way to describe an application and how to
relate its programming patterns to its visualisation.
The designer need not know the formal specification language in depth in
order to describe the application. Instead, he/she describes aspects of
the problem domain, under the guidance of the synthesises. Using this
formal description, the synthesiser generates both the application and
Web pages. This form of synthesis allows detailed information about
the construction of the Web site to be included with the application,
perhaps making it easier to generate new applications by reusing