A logic-based approach for automatic synthesis and maintenance of web sites.

João M. B. Cavalcanti Wamberto Weber Vasconcelos

Published in: SEKE (2002)

Keyphrases

website
modal logic
classical logic
predicate logic
program synthesis
web pages
semi automatic
web content
software maintenance
logic synthesis
software engineering
user behavior
fully automatic
deontic logic