Specification by Example for Educational Purposes.

Isabelle Blasquez Hervé Leblanc

Published in: ITiCSE (2017)

Keyphrases

high level
formal specification
user defined
machine learning
decision making
web pages
image segmentation
digital libraries
evolutionary algorithm
specification language
ims learning design