Verified program support environments.

William D. Young

Published in: Formal Methods in Software Development (1990)

Keyphrases

computing environments
data sets
real world
information systems
decision support
program execution
artificial intelligence
dynamic environments
computer programs
real time
genetic algorithm
multimedia
case study
support systems