文献

J-GLOBAL ID：201002255156360334   整理番号：10A1116173

複合パターンとそのクライアントに対する局所的推論と動的フレーミング

Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

著者 (3件)： ROSENBERG Stan (Stevens Inst. Technol., NJ, USA) ,  BANERJEE Anindya (IMDEA Software Inst., Madrid, ESP) ,  NAUMANN David A. (Stevens Inst. Technol., NJ, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6217  ページ： 183-198  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： クライアント ,  推論 ,  フレーミング