第27回先端ソフトウェア科学・工学に関するGRACEセミナー

主催:NII 先端ソフトウェア工学国際研究センター(GRACEセンター)
http://grace-center.jp/

日時:2009年11月11日(水)15:30-17:00
               (*↑*開催時間が変わりました!)

場所:国立情報学研究所(NII) 20階実習室(2001)  (地図
参加費:無料
お問い合わせ:鄭 顕志 (tei_AT_nii.ac.jp)_AT_を@に書き換えてください。

参加をご希望の方は、
セミナー前日までに下記よりご登録をお願いします。
http://grace-center.jp/regist/seminar

(*↑*参加申し込み方法が今回から新しくなりました。)

– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Details:

Speaker: Prof. Jeffrey Kramer, Imperial College London

Title: Self-Managed Adaptive Systems

Abstract:
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.

Biography:
Jeff Kramer is Professor of Computing and Senior Dean at Imperial
College London. His research interests include rigorous techniques for
requirements engineering; software specification, design and analysis;
and software architectures, particularly as applied to distributed and
adaptive software systems. Jeff is the Editor-in- Chief of the IEEE
Transactions on Software Engineering, and the co- recipient of the
2005 ACM SIGSOFT Outstanding Research Award for his research work in
Distributed Software Engineering. He is co-author of a recent book on
Concurrency, co-author of a previous book on Distributed Systems and
Computer Networks, and the author of over 200 journal and conference
publications. He is a Chartered Engineer, Fellow of the Royal Academy
of Engineering, Fellow of the IET, Fellow of the BCS and Fellow of the
ACM.

カテゴリー: 研究, セミナー パーマリンク

コメントは停止中です。