Abstraction and Refinement in RDM.

Donald L. Boyd Antonio Pizzarello William T. Wood

Published in: The Use of Formal Specification of Software (1979)

Keyphrases

high level
data abstraction
neural network
refinement process
web pages
genetic algorithm
expert systems
evolutionary algorithm
state space