Behavioral interface specification languages.

John Hatcliff Gary T. Leavens K. Rustan M. Leino Peter Müller Matthew J. Parkinson

Published in: ACM Comput. Surv. (2012)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
user interface
user friendly
friendly interface
decision making
high speed
data sets
human machine interface
novice users
human behavior
natural language interface
interface design
information systems
machine learning