Login / Signup

Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.

Yuan ZhouDaisuke MatsuuraYuichi GotoJingde Cheng
Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Keyphrases
  • specification language
  • programming language
  • software environment
  • symbolic execution
  • expert systems
  • formal specification
  • real world
  • static analysis
  • artificial intelligence
  • distributed systems