研究課題
基盤研究(C)
本研究では、拡張可能なアスペクト指向モデリング言語AspectMと検証可能なモデルコンパイラを開発した。拡張可能なアスペクト指向モデリングの概念は有効であるが、その一方で、モデルコンパイル(織り込み)の正しさを確認することは必ずしも容易ではない。この問題を解決するため、本研究では、AspectMモデルコンパイラ上に、一連の検査器、すなわち、メタモデル検査器、モデル構造検査器、アサーション検査器の機能を持たせた。
すべて 2010 2009 2008 2007 その他
すべて 雑誌論文 (19件) (うち査読あり 17件) 学会発表 (7件) 備考 (4件)
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010) (to appear)
32nd ACM/IEEE International Conference on Soft ware Engineering(ICSE 2010) (採録決定)
Proceedins of 6th ECOOP 2009 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'09)
Lecture Notes in Computer Science, Springer-Verlag vol.5565
ページ: 17-31
21st International Conference on Advanced Information Systems(CAiSE 2009)
6th ECOOP 2009 Workshop on Reflection, AOP and Meta-Data for Software Evolution(RAM-SE'09) (ACM Digital Library)
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
ページ: 501-502
Proceedings of the 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008)
ページ: 171-178
Proceedins of Workshop on Modeling in Software Engineering (MISE 2008)
ページ: 57-63
システム制御情報学会誌 vol.52,no.9
ページ: 316-321
システム制御情報学会誌 vol. 52 no. 9
6th International Conference on Software Engineering Research, Management and Applications (SERA 2008)
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
Proceedins of the 2nd International Workshop on Aspects, Dependencies and Interactions (ADI'07)
ページ: 36-41
Workshop on Modeling in Software Engineering (MISE 2007)
120002440711
情報処理学会論文誌 vol.48,no.8
ページ: 2492-2507
110006386484
情報処理学会論文誌 48
Workshop on Modeling in Software Engineering (MISE 2007) (Workshop at ICSE 2007) IEEE-CS Digital Library
2nd International Workshop on Aspects, Dependencies and Interactions (ADI'07) (Workshop at ECOOP 2007)
http://posl.minnie.ai.kyutech.ac.jp/