A graphical interface for report specification.

Leonard J. Bass

Published in: ACM Annual Conference (1982)

Keyphrases

graphical interface
user friendly
ims learning design
database
neural network
high level
formal verification
artificial intelligence
formal specification
formal methods
uniform access
data mining
machine learning
user defined
specification language
provably correct