Sign in

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.

Yuan ZhouYuichi GotoJingde Cheng
Published in: IEICE Trans. Inf. Syst. (2019)
Keyphrases
  • specification language
  • formal specification
  • expert systems
  • dynamic programming
  • building blocks
  • description language
  • symbolic execution
  • databases
  • case study
  • xml documents
  • constraint satisfaction problems