Application of verification method and a decomposition method to program modification. - Kouichi Ono; Katsuhisa Maruyama; Yoshiaki Fukuzawa (Syst. Comput. Jpn., 1996)