Operationalizing the integration of user interaction specifications in the synthesis of modeling editors.

Vasco Sousa Eugene Syriani Khady Fall

Published in: SLE (2019)

Keyphrases

user interaction
user behavior
user feedback
user experience
user input
user studies
user interface
special issue
video data
interactive image segmentation
information retrieval
video sequences
information retrieval systems
formal specification
usage data
program synthesis