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

Nancy G. Leveson

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

human centered
formal specification
delay insensitive
high level
ambient intelligence
specification language
databases
data mining
decision making
multimedia
control flow
music composition