Intent Specifications: An Approach to Building Human-Centered Specifications.

Nancy G. Leveson

Published in: ICRE (1998)

Keyphrases

human centered
ambient intelligence
formal specification
low dimensional
human robot interaction
functional requirements
delay insensitive
data sets
data mining
machine learning
intelligent systems
multimedia data
multimedia databases
human centric
reactive systems