The specification of program flow in Madcap 6.

James B. Morris Mark B. Wells

Published in: ACM Annual Conference (2) (1972)

Keyphrases

artificial intelligence
control program
flow patterns
computer programs
specification language
information systems
real time
image sequences
static analysis
formal specification
high level
genetic algorithm
test cases
software development
search engine
learning algorithm
real world