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.
|Title of host publication||Web Engineering: Managing Diversity and Complexity in Web Application Development|
|Editors||San Murugesan, Yogesh Deshpande|
|Number of pages||14|
|Publication status||Published - 2001|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|