Mechanical Software Verification: High Level Control Aspects from a User's Perspective.

Wolfgang Goerigk

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

high level
low level
user preferences
user interaction
user groups
user requirements
viewpoint
user defined
user profiles
control theory
user feedback
control strategy
user interface
database
end users
data acquisition
user model
website
knowledge base
adaptive control
genetic algorithm
real time