@inproceedings{weko_127875_1, author = "池田,健次郎 and 岸,知二", title = "オブジェクト指向開発アプローチCrossover(5) : 実行確認系II", booktitle = "全国大会講演論文集", year = "1995", volume = "第50回", number = "ソフトウェア工学", pages = "127--128", month = "mar" }