Kazuo Kera Keisuke Bekki Kinji Mori Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-. 101-110 2002 conf/icdcsw/2002 ICDCS Workshops http://csdl.computer.org/comp/proceedings/icdcsw/2002/1588/00/15880101abs.htm db/conf/icdcsw/icdcsw2002.html#KeraBM02