Inspecting Module Interface Specifications.

Ann Jackson Daniel Hoffman

Published in: Softw. Test. Verification Reliab. (1994)

Keyphrases

user friendly
specification language
friendly interface
machine learning
artificial intelligence
high level
digital libraries
formal specification
written in natural language
website
decision trees
case study
interface design
human computer interface
natural language interface
delay insensitive