Login / Signup

Application of verification method and a decomposition method to program modification.

Kouichi OnoKatsuhisa MaruyamaYoshiaki Fukuzawa
Published in: Systems and Computers in Japan (1996)
Keyphrases
  • decomposition method
  • verification method
  • real time
  • information retrieval
  • knowledge base
  • learning environment
  • tree decomposition