Login / Signup
Application of verification method and a decomposition method to program modification.
Kouichi Ono
Katsuhisa Maruyama
Yoshiaki Fukuzawa
Published in:
Systems and Computers in Japan (1996)
Keyphrases
</>
decomposition method
verification method
real time
information retrieval
knowledge base
learning environment
tree decomposition