Combining transformational and derivational analogy in Larch specification generation.

Perry Alexander

Published in: SEKE (1994)

Keyphrases

high level
generation process
finite state
analogical reasoning
reinforcement learning
genetic algorithm
learning algorithm
expert systems
object oriented
specification language
formal verification