Home | Scope & Topics | Committees | Call for Papers | Important Dates | Info for Authors, Submission & ProceedingsLocation & Travel

Invited Speakers | Registration | Sponsors | Related Events | Programme 


Proceedings of the
3RD SOUTH-EAST EUROPEAN WORKSHOP ON FORMAL METHODS

ISBN 978-960-89629-4-1
Copyright: November 2007
© SOUTH-EAST EUROPEAN RESEARCH CENTRE

Editors
Dimitris Dranidis and Ilias Sakellariou
 

     
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

Home | Scope & Topics | Committees | Call for Papers | Important Dates | Info for Authors, Submission & ProceedingsLocation & Travel

Invited Speakers | Registration | Sponsors | Related Events | Programme 

3rd South-East European Workshop in Formal Methods SEEFM07 
South-East European Research Centre SEERC (www.seerc.org)
City College, Affiliated Institution of the University of Sheffield (www.city.academic.gr
Thessaloniki, 30 November-1 December 2007

Satellite of Informatics Education Europe II Conference, 29-30 November 2007
Contact: seefm07@seerc.org