How Do We Read Specifications? Experiences from an Eye Tracking Study.

Maike Ahrens Kurt Schneider Stephan Kiesling

Published in: REFSQ (2016)

Keyphrases

case study
formal specification
learning from experience
specification language
information retrieval
neural network
data mining
machine learning
learning algorithm
information systems
reactive systems
delay insensitive
bounded model checking