文献

J-GLOBAL ID：200902243234415869   整理番号：07A0275335

型検証動的UML(統一モデリング言語)コンシステンシー

Model Checking Dynamic UML Consistency

著者 (4件)： ZHAO Xiangpeng (Peking Univ., Beijing, CHN) ,  LONG Quan (Peking Univ., Beijing, CHN) ,  LONG Quan (IBM China Res. Lab.) ,  QIU Zongyan (Peking Univ., Beijing, CHN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 4260  ページ： 440-459  発行年： 2006年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 型 ,  検証 ,  UML ,  統一モデリング言語 ,  コンシステンシー