@techreport{weko_21485_1, author = "佐野,元之 and 疋田,輝雄", title = "IIOSSにおけるUMLモデルのインタラクティブな動的検証", year = "2001", institution = "明治大学理工学部/株式会社オープンテクノロジーズ, 明治大学理工学部", number = "92(2001-SE-133)", month = "sep" }