Login / Signup

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Marco WincklerEric BarboniPhilippe A. PalanqueChristelle Farenc
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • web applications
  • formal methods
  • end users
  • application developers
  • application development
  • web browser
  • web services
  • dynamic content
  • web crawlers
  • web application development
  • databases
  • website
  • lightweight
  • mashup