ソフトウェアは、情報化、電子化の進展と共に社会の基盤インフラの構築には不可欠になってきており、ソフトウェアの応用・利用技術であるソフトウェア工学技術なしでは、これからの高度電子社会の構築・発展は困難である。しかし、開発すべきソフトウェアシステムも年々、大規模化、複雑化、高度化、多様化の一途をたどっている。こうした流れの中で、頑健で高品質なソフトウェアシステムの効率の良い開発を実現するための、真に役に立つ骨太の研究成果の創出が期待されている。GRACE国際シンポジウムでは、先端ソフトウェア開発に関する研究・実践・教育の幅広い諸問題について、ソフトウェア工学分野の国内外の第一人者たちを集め、先端的な研究の発表と議論、基調講演による最先端の研究動向について紹介、GRACEセンターでの研究・教育・実践成果の発表と共に、パネルディスカッションを行うことで今後の研究の方向性や問題点について議論する。
本国際シンポジウムのテーマは、次代の中核となる世界レベルの研究者および技術者を育成し、研究・実践・教育の三位一体の体制で21世紀の「ソフトウェア基盤」を実現することである。
本シンポジウム関連の記事等を掲載しております。
| 演題 | Self-Managed Adaptive Systems |
|---|

概要
Rigorous techniques are needed to develop adaptive systems which can cope with both changes in the environment and with changing goals. The objective is to minimise the degree of explicit management necessary for construction and subsequent evolution whilst preserving the safety properties implied by its specification. In this talk, we focus on an architectural approach to self-management, in which software components automatically configure their interaction as required. We present an outline three-layer reference model as a context in which to articulate some of the main issues and to describe our pilot implementation. In particular we present our current work on plan synthesis from goals and properties.
下記ページからご覧ください。GRACEセンターによる研究・教育・実戦活動の他、協賛企業様による発表も予定されております。
http://events.grace-center.jp/symposium/2010/poster
参加登録を開始いたしました。下記ページよりお申し込みいただけます。
http://events.grace-center.jp/symposium/2010/register
Joshua Kerievsky氏による招待講演の詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/invited_talk_kerievsky
Jeffrey Kramer 教授 (Imperial College London, UK) による招待講演の詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/keynote
下記URLにて、形式手法Bメソッド研修セミナーの詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/workshop_tclearsy
Hong Mei教授 (北京大学) による招待講演の詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/invited_talk_mei