Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Software blueprints: lightweight uses of logic in conceptual modeling
Software blueprints: lightweight uses of logic in conceptual modeling
WebMaster: knowledge-based verification of Web-pages
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Verifying web site properties using computational logic
Information modeling for internet applications
Modeling data-intensive web sites for personalization, integrity and performance
Information modeling for internet applications
Web site synthesis based on computational logic
Knowledge and Information Systems
| Hi-index | 0.00 |
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.T his paper reports some encouraging results on the use of automated synthesis, using domainspecific formal representations, to make design more methodical and maintenance less time consuming.