This is a dry-run of paper to be presented at the 3rd Workshop on Web Engineering, May 2000, Amsterdam, The Netherlands.
As use of Web sites has exploded, large amount of effort have gone into the deployment of sites but little thought has been given to methods for their design and maintenance. This paper reports some encouraging results on the use of automated synthesis, using domain-specific formal representations, to make design more methodical and maintenance less time consuming.