@inproceedings{weko_119518_1, author = "奥山,哲史 and 井上,藤男 and 川崎,健史 and 萩本,浩三", title = "設計情報を付加した構造化仕様記述法", booktitle = "全国大会講演論文集", year = "1990", volume = "第41回", number = "ソフトウェア工学", pages = "145--146", month = "sep" }