JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H14) (Jun.2002 - Mar.2003 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/16218

Title: UMLモデルに対するユーザー定義制約条件の整合性検査に関する研究
Authors: 伊東, 恵輔
Authors(alternative): いとう, けいすけ
Keywords: UML
OCL
不変表明
整合性検査
invariant
consistency checking
Issue Date: Mar-2003
Description: Supervisor:片山 卓也
情報科学研究科
修士(情報科学)
Title(English): Research on the UML model consistency checking of user definition invariants
Authors(English): Ito, Keisuke
Language: jpn
URI: http://hdl.handle.net/10119/16218
Appears in Collections:M-IS. 2002年度(H14) (Jun.2002 - Mar.2003)

Files in This Item:

File Description SizeFormat
abstract.pdf67KbAdobe PDFView/Open
jabstract.pdf41KbAdobe PDFView/Open
paper.pdf594KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)