Program Specification by Module Trees.

Jørgen Steensgaard-Madsen

Published in: Program Specification (1981)

Keyphrases

control program
decision trees
machine learning
tree models
specification language
tree structure
data model
high level
artificial intelligence
relational databases
information systems
formal specification
computer programs
tree structures
control flow
information retrieval
modelling language
real time
binary trees