@article{weko_5397_1, author = "二木,厚吉", title = "ソフトウェア工学の現状と動向:実行可能仕様に基づく変換プログラミング", journal = "情報処理", year = "1987", volume = "28", number = "7", month = "jul" }