Component-Based Systems
ESEC/FSE 2009
August 25, 2009
|
|
SAVCBS'09 |
|
Specification and Verification of Component-Based Systems |
|
| Workshop at ESEC/FSE 2009 August 25, 2009 |
| 9:00 - 9:15 | Opening by workshop organisers |
| 9:15 - 10:30 | Key-note talk:Compositional dependability modeling using ARCADE Mariëlle Stoelinga University of Twente, The Netherlands |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 11:30 |
Component-Based Semantics Peter Mosses, Swansea University, UK |
| 11:30 - 12:00 |
Typestate Protocol Specification in JML
Taekgoo Kim, Carnegie Mellon University, USA Kevin Bierhoff, Carnegie Mellon University, USA Jonathan Aldrich, Carnegie Mellon University, USA Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea |
| 12:00 - 12:30 |
ESC4: A Modern Caching ESC for Java
Perry R. James, Concordia University, Canada Patrice Chalin, Concordia University, Canada |
| 12:30 - 14:00 | Lunch |
| 14:00 - 14:30 |
A Framework for Estimating the Energy Consumption Induced by a
Distributed System's Architectural Style
Chiyoung Seo, University of Southern California, USA George Edwards, University of Southern California, USA Daniel Popescu, University of Southern California, USA Sam Malek, George Mason University, USA Nenad Medvidovic, University of Southern California, USA |
| 14:30 - 15:00 |
Invited talk:
The Synergy of Precise and Fast Abstractions for Program Verification N. Sharygina, University of Lugano S. Tonetta, University of Lugano A. Tsitovich, University of Lugano |
| 15:00 - 15:30 | Coffee break |
| 15:30 - 17:30 | Solutions to the Challenge Probem |