2nd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'08
30. August 2008,
Istanbul, Turkey
Satellite event of
ICTAC 2008
2nd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'08
30. August 2008,
Istanbul, Turkey
Satellite event of
ICTAC 2008
| Saturday, August 30th 2008 | |
|---|---|
| 9:15 | Welcome |
| 9:30 | Keynote:Einar Broch Johnsen, Univ. of Oslo, Norway |
| 10:30 | Break |
| Session: Creol | |
| 11:00 | Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol(Marcel Kyas) |
| 11:30 | Modeling and Testing Multi-Threaded Asynchronous Systems with Creol(Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam) |
| 12:30 | Lunch |
| Session: Verification | |
| 14:00 | An improvement in Software Architecture Verification(Zuohua Ding, Jing Liu) |
| 14:30 | Harnessing a Refinement Theory to Compute Loop Functions(Ali Mili, Rahma Benayed, Shir Aharon and Chaitanya Nadkarni) |
| 15:00 | BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development(Dehui Du, Honghua Cao, Jing Liu) |
| 15:30 | Break |
| Session: Formal method applied in Software Engineering | |
| 16:00 | Development life cycle of critical software under FoCal(Philippe Ayrault, Therese Hardin and Francois Pessaux) |
| 16:30 | Java Test Driver Generation from Object-Oriented Interaction Traces(Frank S. de Boer, Marcello Bonsangue, Andreas Gruener and Martin Steffen) |
| 17:00 | Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering(Xiaobo Wang, Guanhui Lai and Chao Liu) |
| evening | Workshop Dinner (incl. in Registration) |