The 27th GRACE Seminar on Advanced Software Science and Engineering

Time: 15:30-17:00, Nov. 11th, 2009
(** Schedule Changes !)

Place: Computer Education Room (2001), 20F, National Institute of Informatics
(map)
Inquiry: Kenji Tei (tei_AT_nii.ac.jp)
Fee: Free
Please register via the following page:
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

Time: 15:00-18:00, Sep. 7th, 2009
Place: Lecture Room 1 (2005), 20F, National Institute of Informatics
(map)
Fee: Free
You need to register your name, affiliation and e-mail address in
advance. Please send a mail titled "24th Grace Seminar" including
the information to event-info@grace-center.jp
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Details:

Speaker: Professor David Basin, ETH Zurich
Title : Model Driven Security

Abstract:
We present an approach to integrating security into the system design
process. Namely, models are made of system designs along with their
security requirements, and security architectures are automatically
generated from the resulting security-design models. We call the
resulting approach "Model Driven Security" as it represents a
specialization of model driven development to the domain of
system security.

Time: 15:00-16:00, Jun 17th, 2009
Place: Seminar Room 2 (1509), 15F, National Institute of Informatics
(map)
Fee: Free
You need to register your name, affiliation and e-mail address in
advance. Please send a mail titled "22nd Grace Seminar" including
the information to event-info@grace-center.jp.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Details：

Speaker: Dr. Stéphane Bonneaud, European Center for Virtual Reality

Title:
"Model-agents for the modeling and simulation of complex systems:
application to the ecosystemic of fisheries"

Abstract:

We study the modeling process for the simulation of
complex systems. The modeling and simulation processes
are complex, therefore the modeling has to be rationalized
and control gained over it. Our proposition is to conceive
the complex model as a society of models in interaction.

Time: 10:00-12:00, April 16st, 2009
Place: Seminar Room 1 (2006), 20F, National Institute of Informatics
(map)
Fee: Free
You need to register your name, affiliation and e-mail address in
advance. Please send a mail titled "20th Grace Seminar" including
the information to event-info@grace-center.jp.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Details:

First Speaker: Ralf Huuck (NICTA, Australia)

Title: Goanna -- An Automatic Software Analysis Tool of C/C++

Abstract:

Quality assurance for large software code bases can be a daunting task.
Software bugs are often hiding where least expected: on program paths that are rarely executed and often neglected by traditional testing techniques.