Report
第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
Report on the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006)
情報処理学会研究報告, vol. 2006, no. 125, pp. 81–88, 大阪大学(吹田キャンパス),大阪, November 2006.
Abstract
2006年9月に東京にて第21回ソフトウェア工学の自動化国際会議(ASE2006)を開催および参加したので,取り上げられた主な内容を紹介する.会議の傾向として,モデル検査/記号実行に基づくプログラム解析/検証の取り組み,および,プログラム変更履歴からの特定の情報(例えばアスペクト)発掘の取り組みが多く見られ,両分野への取り組みの活発化を伺えた.会議には約 220 名の参加があり,国内外の研究者がソフトウェア工学自動化の最先端の取り組みについて議論し交流する良い機会となった.
Abstract (English)
This paper reports major topics of the 21st IEEE/ACM International Conference on Automated Software Engineering held at September 2006 in Tokyo. There were many presentations on program analysis/verification and pattern/aspect mining.
BibTeX
@article{washizaki-sigse200611,
author = {鷲崎 弘宜 and 久保 淳人 and 下滝 亜里 and 中川 博之 and 林 晋平 and 丸山 勝久 and 本位田 真一},
title = {第21回ソフトウェア工学の自動化国際会議({ASE2006})開催および参加報告},
journal = {情報処理学会研究報告},
volume = 2006,
number = 125,
pages = {81--88},
year = 2006,
}
- Type
- Report
- Location
- 大阪大学(吹田キャンパス),大阪
- Published
- November 2006
- Volume / Pages
- vol. 2006, no. 125, pp. 81–88