Navigational Web-Interfaces from Formal Tropos Specification.

Komminist Weldemariam

Published in: ESAW (2009)

Keyphrases

requirements analysis
website
formal specification
agent oriented
database interface
web applications
web pages
web documents
formal methods
goal oriented
web interface
machine processable
formal language
web mining
web content
interface design
semantic web
electronic commerce
agent systems
metadata
decision making