ICECCS Programme

Friday 04 April 2008

9.30 - 10.30: Keynote Speaker

"Global Software Engineering Research in a Small Country"
Kevin Ryan, LERO (The Irish Software Engineering Research Centre), Ireland

10.30 - 11.00: Coffee

11.00 - 12.30: Session - Specification and Design

"Revisiting Safe Realizability of Message Sequence Charts Specifications"
Abdolmajid Mousavi

"ipsl: An Environment for IP-based PSL Specification"
Naiyong Jin, Juan Zhou and Taoyong Ni

"Task Mapping in Heterogeneous MPSoCs for System Level Design"
Kugan Vivekanandarajah, Santhosh Kumar Pilakkat

12.30 - 13:30: Buffet Lunch

13.30 - 14.30: Invited Session - Grand Challenge in Verified Software
(Chair: Jim Woodcock)

"Linking VDM and Z"
Jim Woodcock, Leo Freitas

"POSIX and the Verification Grand Challenge: a roadmap"
Leo Freitas, Jim Woodcock and Andrew Butterfield

"Program Verification in Undergraduate Teaching: A Status Report"
Joseph Kiniry

14.30 - 15.30: Invited Session - Experimental Software Engineering
(Chair: Jose Carlos Maldonado)

"An Environment to Support Large Scale Experimentation in Software Engineering"
Guilherme Horta Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Cláudio Dias Neto, Jorge Biolchini

"A Framework for Software Engineering Experimental Replications"
Manoel G. Mendonça, José C. Maldonado, Maria C.F. de Oliveira, Jeffrey Carver, Sandra C.P.F. Fabbri, Forrest Shull, Guilherme H. Travassos, Erika Nina Höhn, Victor R. Basili

15:30 - 16:00: Coffee

16:00 - 17:30: Invited Session - Semantic Services and Mobility
(Chair: Karin Breitman)

"Ambient Intelligence Applications: Introducing the Campus Framework"
Amal El Fallah Seghrouchni, Karin Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot

"Ubiquitous Service Regulation Based on Dynamic Rules"
José Viterbo F., Markus Endler, Jean-Pierre Briot

"The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level"
Tiziana Margaria

Click here for the ICECCS Thursday Programme