目的

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

本国際シンポジウムのテーマは、次代の中核となる世界レベルの研究者および技術者を育成し、研究・実践・教育の三位一体の体制で21世紀の「ソフトウェア基盤」を実現することである。

シンポジウムへのご参加ありがとうございました

先端ソフトウェア工学に関するGRACE国際シンポジウム2010は、全体で254名の皆様にご参加いただき、盛況のうちに終了いたしました。ご参加・ご支援くださった皆様に感謝申し上げます。

シンポジウムの様子 (写真をクリックすると拡大)

基調講演

パネル討論

形式手法の産業応用ワークショップ

レセプション

基調講演 Jeff Kramer 教授

演題 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氏

Joshua Kerievsky氏による招待講演の詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/invited_talk_kerievsky

お知らせ: 基調講演 Jeffrey Kramer 教授

Jeffrey Kramer 教授 (Imperial College London, UK) による招待講演の詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/keynote

お知らせ: 形式手法Bメソッド研修セミナー

下記URLにて、形式手法Bメソッド研修セミナーの詳細を掲載いたしました。
http://events.grace-center.jp/symposium/2010/workshop_tclearsy

コンテンツ配信