| |
|
| SEEFM 2007 Complete Volume (in
pdf) |
|
| Papers in the volume |
|
Front matter
|
i |
Supporting the Composition of
Distributed Business Processes
Marco Pistore |
1 |
SENSORIA: Engineering for
Service-Oriented Overlay Computers
Martin Wirsing |
2 |
A
Combined Open Petri Net and Process Algebraic approach to
Message-Passing Services
Chrysafis Hartonas |
3 |
Considering
Realistic Web Service Features for Semi-Automatic Composition
Jens Lemcke and Andreas Friesen |
21 |
An
Iterative Approach for the Process-level Composition of Web Services
Annapaola Marconi, Marco Pistore and Paolo Traverso |
36 |
Automated
Analysis and Implementation of Composed Grid Services
Koon Leai Larry Tan and Ken Turner |
51 |
Formal
Methods for Service Composition
Maurice ter Beek, Antonio Bucchiarone and Stefania Gnesi |
65 |
Modeling
Service Communication with Open Petri Nets
Chrysafis Hartonas |
79 |
Modeling
epistemic knowledge in logic programs with negation as failure
Mircea Preda |
97 |
Formal
Verification of Web Service Behavioural Conformance through Testing
Dimitris Dranidis, Dimitris Kourtesis and Ervin Ramollari |
112 |
A
Semi-Formal Approach to Introducing Formal Methods
Anthony J. Cowling |
126 |
20
Years of Teaching and 7 Years of Research: Research When You Teach
Mike Holcombe and Christopher Thomson |
141 |
Critical
and Creative Mathematical Thinking with Practical Problem Solving
Skills - A New Old Challenge
Eleni Berki and Juri Valtanen |
154 |
Teaching
the Construction of Correct Programs Using Invariant Based Programming
Ralph-Johan Back, Johannes Eriksson and Linda Mannila |
171 |
Teaching
Formal Specifications. What about abstraction?
Christine Choppy |
188 |
Object-Level
Modeling and Testing Education - Daskalos Experience
Vojtech Merunka, Jiri Brozek and Tomas Richta |
200 |
A
Design Change Metric Derived From Extreme X-Machines
Christopher Thomson and Mike Holcombe |
212 |
On
the Negative Tests of Web Applications
Fevzi Belli and Michael Linschulte |
227 |
Verification
of the Safety Properties of Embedded Systems
Maria Kourkouli and George Hassapis |
242 |
