文献

J-GLOBAL ID：201002223486842077   整理番号：10A0555759

制約条件意識型モデル変換の形式化

A Formalisation of Constraint-Aware Model Transformations

著者 (4件)： RUTLE Adrian (Bergen Univ. Coll., Bergen, NOR) ,  ROSSINI Alessandro (Univ. Bergen, Bergen, NOR) ,  LAMO Yngve (Bergen Univ. Coll., Bergen, NOR) ,  WOLTER Uwe (Univ. Bergen, Bergen, NOR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6013  ページ： 13-28  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 制約条件 ,  意識 ,  モデル変換 ,  形式化