文献

J-GLOBAL ID：200902285715753398   整理番号：04A0352818

ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化

A Formal Model of Aspect-Oriented Programs based on Labeled Transition Systems

著者 (3件)： 八木勲 (奈良先端科学技術大学院大) ,  高田喜朗 (奈良先端科学技術大学院大) ,  関浩之 (奈良先端科学技術大学院大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 103  号： 708(SS2003 46-50)  ページ： 1-6  発行年： 2004年03月15日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,多クラスにまたがる特性をモジュール化する技術であるアス...

シソーラス用語： *オブジェクト指向プログラミング ,...
準シソーラス用語： アスペクト指向プログラミング ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0352818&from=J-GLOBAL&jstjournalNo=S0532B") }}

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (7件)：

• DOUENCE, R. A Formal Definition of Crosscuts. The 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION 2001). 2001, 170-186
• AspectJ Team. http://aspectj.org/
• MUKUND, M. From Global Specifications to Distributed Implementations. Synthesis and Control of Discrete Event Systems. 2002, 19-35
• WALUKIEWICZ, I. Pushdown Processes : Games and Model Checking. 8th Conference on Computer Aided Verification (CAV '96). 1996, 62-74
• ESPARZA, J. Efficient Algorithms for Model-Checking Pushdown Systems. 12th Conference on Computer Aided Verification (CAV 2000). 2000, 232-247

タイトルに関連する用語 (4件)： ラベル ,  遷移システム ,  アスペクト指向 ,  モデル化