|
Home
|
People
|
Research
|
Publications
|
Events
|
Links
|



Communication of Knowledge from Synthesised Web Sites

This work concerns reuse of formal specifications of Worldwide Web site applications.

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 earlier ones.


People involved


|
Home
|
People
|
Research
|
Publications
|
Events
|
Links
|