| 09:00-10:00 |
Keynote Speaker: Martin
Wirsing
SENSORIA: Engineering for Service-Oriented Overlay Computers
|
| 10:00-11:00 |
Session 2: Formal methods in Education I
- 20
Years of Teaching and 7 Years of Research: Research When You Teach
Mike Holcombe and Christopher Thomson
- A
Semi-Formal Approach to Introducing Formal Methods
Anthony J. Cowling
|
| 11:00-11:30 |
Coffee
Break |
| 11:30-13:30 |
Session 3: Service Oriented Architectures II
- Formal
Methods for Service Composition
Maurice ter Beek, Antonio Bucchiarone and Stefania Gnesi
- Modeling
Service Communication with Open Petri Nets
Chrysafis Hartonas
- Modeling
epistemic knowledge in logic programs with negation as failure
Mircea Preda
- Formal
Verification of Web Service Behavioural Conformance through Testing
Dimitris Dranidis, Dimitris Kourtesis and Ervin Ramollari
|
| 13:30-14:30 |
Lunch |
| 14:30-15:00 |
Demonstration
Session 2
Semi-automatic Process Designer
for cross-organisational Business Process Integration
Andreas
Fiesen |
| 15:00-16:30 |
Session 4: Aspects of Formal Methods
- A
Design Change Metric Derived From Extreme X-Machines
Christopher Thomson and Mike Holcombe
- On
the negative tests of Web Applications
Fevzi Belli and Michael Linschulte
- Verification
of the Safety Properties of Embedded Systems
Maria Kourkouli and George Hassapis.
|
| 16:30-17:00 |
Coffee
Break |
| 17:00-19:00 |
Session 5: Formal methods in Education II
- Critical
and Creative Mathematical Thinking with Practical Problem Solving
Skills - A New Old Challenge
Eleni
Berki and Juri Valtanen.
- Teaching
the Construction of Correct Programs Using Invariant Based Programming
Ralph-Johan Back, Johannes Werner Eric Eriksson and Linda Mannila.
- How
to teach abstraction for writing formal specifications ?
Christine Choppy
- Object-Level
Modeling and Testing Education - Daskalos Experience
Vojtech Merunka, Jiri Brozek and Tomas Richta
|
