C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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