@techreport{weko_22674_1, author = "中田修二 and 寺本雅則", title = "情報システムの仕様化技術への意味モデル的アプローチ", year = "1982", institution = "日本電気(株)ソフトウェア生産技術研究所, 日本電気(株)ソフトウェア生産技術研究所", number = "11(1982-SE-024)", month = "jun" }