Friday, March 31
11:00 Workshop Opening Hartmut Ehrig (TU Berlin), Andreas Engelke (DFG)
Case Studies in the DFG Focus Area Program
Session chair: Hartmut Ehrig (TU Berlin) 11:30 Production Automation Case Study Engelbert Westkämper, Christoph Schaeffer, Arnulf Braatz (Universität Stuttgart / Fraunhofer IPA) 12:00 Traffic Control Systems Case Study: Problem Description and a Note on Domain-based Software Specification Lars Jansen, Eckehard Schnieder (TU Braunschweig)
12:30		Lunch
Specification, Verification, and Analysis
Session chair: Holger Schlingloff (University of Bremen) 14:30 Formal Specification and Verification of a Radio-based Signaling System Werner Damm (Universität Oldenburg / OFFIS) 15:00 Verification and Safety Analysis of Formal Models Wolfgang Reif, Andreas Thums (Universität Ulm)
15:30		Coffee
General Approaches to Integrated Software Engineering
Session chair: Michael Goedicke (University of Essen) 16:00 Rationalising the Conceptual Basis of Software Engineering Tom Maibaum (King's College London) 16:45 Contract Based System Development José Luiz Fiadeiro (University of Lisbon), Luís Andrade (Oblog Software SA)
Saturday, April 1
Integration of Specification Techniques I
Session chair: Fernando Orejas (UPC, Barcelona) 9:00 Views for the Integration of Datatypes and Control Specifications Christine Choppy (Université Paris XIII, LIPN), Pascal Poizat , Jean Claude Royer (Université de Nantes, IRIN) 9:45 Data Components for the Design of Paradigm-Oriented (Specification) Languages Egidio Astesiano, Maura Cerioli, Gianna Reggio (Università di Genova)
10:30		Coffee
Description Techniques and Integration
Session chair: Anne Haxthausen (Technical University of Denmark) 11:00 Workflow Descriptions in Engineering Applications Gunter Saake, Stefan Conrad, Sören Balko (Universität Magdeburg) 11:30 Petri Nets in Integrated Software Specification Jörg Desel (Katholische Universität Eichstätt) 12:00 Integration Modelling Martin Große-Rhode (TU Berlin)
12:30		Lunch
Integration of Specification Techniques II
Session chair: Narciso Martí-Oliet (Universidad Complutense, Madrid) 14:00 Some Approaches for Integration of Specification Techniques Anne Haxthausen (Technical University of Denmark) 14:45 Integration and Classification of Data Type and Process Specification Techniques Fernando Orejas (Universitat Politecnica de Catalunya), Hartmut Ehrig (TU Berlin)
15:30		Coffee
Rewriting Logic as Semantic Framework
Session chair: Martin Große-Rhode (TU Berlin) 16:00 Executing E-LOTOS processes in Maude Narciso Martí Oliet, Alberto Verdejo (Universidad Complutense, Madrid)
16:45 Workshop Closing Martin Große-Rhode (TU Berlin)