Login / Signup

A Formal Specification of Interaction Widgets Hierarchy Framework.

L. J. WangA. S. M. SajeevLachana Inchaiwong
Published in: ITNG (2006)
Keyphrases
  • formal specification
  • databases
  • model checking
  • specification language
  • web services
  • object oriented design
  • specification languages