DBSJ Letters, Vol.4, No.1, pp.1-4 記述論理を用いたUML整合性の検証システムの実現
| 和文タイトル (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) |