changes.
| | - [Outputs](members only) |
| | - [Materials](members only) |
| | |
| | h1. 3rd UK joint workshop on Security and Safety Software Engineering |
| | |
| | - Place: Conference Room(1208) on 12F, NII |
| | |
| | h2. Workshop Program |
| | |
| | Schedule: |
| | !Program.gif! |
| | |
| | Session Chairs: |
| | - Policy: Moffett |
| | - Verification: Taguchi |
| | - Education: Nuseibeh |
| | - Patterns: Washizaki |
| | - WSN: Platon |
| | - Visualisation: Kaiya |
| | |
| | h2. Programme |
| | |
| | h3. 14 April 2008 |
| | |
| | - Reception: 13:00-13:30, Conference Room(1208) on 12F, NII |
| | |
| | 13:30-13:40 Opening |
| | - Introduction to Workshop |
| | |
| | 13:40-15:10 |
| | | - Presentation of each topic (5 min): current status |
| | | - Presentation of each topic (15 min): current status |
| | -- Policy: Moffett |
| | -- Verification: Taguchi |
| | -- Education: Nuseibeh |
| | -- Patterns: Washizaki |
| | -- WSN: Bandara |
| | -- Visualisation: Kaiya |
| | |
| | <<Break>> |
| | |
| | 15:30-17:00 |
| | - Group discussion: Policy, Patterns and Education |
| | |
| | 18:00- Reception Party at Conference room |
| | |
| | h3. 15 April 2008 |
| | |
| | 9:30-12:00 |
| | - Group discussion:Verification, Patterns, Education, WSN, Visualisation |
| | |
| | <<Lunch>> at Restaurant on 3F |
| | |
| | 13:30-17:00 |
| | - Group discussion: Verification, Patterns, Education, Visualisation |
| | |
| | 18:10 Meeting at entrance lobby on grand floor of NII. |
| | 18:28 Takebashi station of metro \-(Tozai-line,10min)\-> 18:38 Kiba |
| | 18:40 Hiraki Bridge near Kiba station \-(Charter Bus)\-> Shiomi Point of Hinodeya |
| | |
| | 19:00-21:30 |
| | - Excursion: [Tokyo Bay Cruise and Dinner|http://www.s-hinodeya.com/hino_anai.htm] |
| | |
| | 21:30 Shiomi Point of Hinodeya -(Charter Bus)\-> Kiba station |
| | Kiba station \-(Tozai-line,10min)\-> about 22:00 Takebashi station |
| | |
| | |
| | h3. 16 April 2008 |
| | |
| | 9:30-11:30 |
| | - Presentation and Q&A (20min) for each group including |
| | -- Direction, Goal |
| | -- Schedule |
| | -- Next actions |
| | |
| | 11:30-11:45 Closing |
| | |
| | <<Lunch>> at Restaurant on 3F |
| | |
| | ---- |
| | h2. GRACE SYMPOSIUM on Security, Safety and Dependability for Software Engineering |
| | |
| | - Time: 13:30-17:00, 16 April 2008 |
| | - Place: Conference Room(1220) on 12F, NII |
| | |
| | 13:30 Welcome and Introduction to SSE Project and GRACE Center |
| | |
| | 14:00\- Title(tentative): Design issues of non-functional requirements |
| | - Speaker: Donald C. Gause, State University of New York, USA |
| | |
| | 14:30\- Title: Patents, Software and a Secure World(TBD) |
| | - Speaker: Kevin Ryan, Centre Director of Lero (The Irish Software Engineering Research Centre) |
| | |
| | 15:00\- Title: Elaborating Security Requirements by Analysis of Malicious Anti-Models |
| | - Speaker: Axel van Lamsweerde, Universite' catholique de Louvain (UCL), Belgium |
| | |
| | 15:30\- <Break> |
| | |
| | 16:00\- Title: Risk-driven information security management(tentative) |
| | - Speaker: Roel Wieringa, the University of Twente, Netherlands |
| | |
| | 16:30\- Title: A Risk-Based, Value-Oriented Approach to Quality Requirements |
| | - Speaker: Martin Glinz, University of Zurich |
| | |
| | 17:00\- Title: Towards Robust Self-Managed Systems |
| | - Speaker: Jeff Kramer, Imperial College London |
| | |
| | 17:30\- Closing |
| | |
| | 18:30 Banquet at Jyosui-kaikan |
| | |
| | ---- |
| | Detailed Information: see [http://sse-project.org/confluence/display/SSE/SYMPO-20080416] |