文献

J-GLOBAL ID：201002298547725656   整理番号：10A0652788

UMLを用いた行動のモデル駆動型検証における経験

Experiences in Model Driven Verification of Behavior with UML

著者 (2件)： KORDON Fabrice (Univ. Pierre et Marie Curie, Paris, FRA) ,  THIERRY-MIEG Yann (Univ. Pierre et Marie Curie, Paris, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6028  ページ： 181-200  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： UML ,  行動 ,  モデル ,  検証 ,  経験