JOURNAL

  • HOME
  • DBSJ Journal
  • DBSJ Letters, Vol.4, No.1, pp.1-4 記述論理を用いたUML整合性の検...

DBSJ Letters, Vol.4, No.1, pp.1-4 記述論理を用いたUML整合性の検証システムの実現

本文PDF

和文タイトル (Japanese title)記述論理を用いたUML整合性の検証システムの実現
英文タイトル (English title)Verifying UML Consistency by Using Description Logics
和文著者 (Japanese author)中西啓之, 三浦孝夫
英文著者 (English author)Hiroyuki NAKANISHI, Takao MIURA
和文論文誌名 (Japanese journal name)日本データベース学会Letters
英文論文誌名 (Japanese journal name)DBSJ Letters
巻 (Volume)4
号 (Number)1
ページ (Pages)1-4
発行年 (Year)2005
発行月 (Month)06
論文種別 (Category)論文 (Research Papers)