Programme of FASE at ETAPS 2007

Fundamental Approaches to Software Engineering


Programme of Tuesday, March 27

17:00 - 18:30 SESSION 4 (Tuesday)

Evolution and Agents (Chair: Matt Dwyer, room: Unicre)
EQ-Mine: Predicting Short-Term Defects for Software Evolution
Jacek Ratzinger (Vienna University of Technology, Austria), Martin Pinzger (University of Zurich, Switzerland), and Harald C. Gall (University of Zurich, Switzerland)
An Approach to Software Evolution Based on Semantic Change
Romain Robbes (University of Lugano, Switzerland), Michele Lanza (University of Lugano, Switzerland), and Mircea Lungu (University of Lugano, Switzerland)
A Simulation-Oriented Formalization for a Psycholgical Theory
Paulo Salem da Silva (University of São Paulo, Brazil), Ana C. V. de Melo (University of São Paulo, Brazil)

19:00 SOCIAL EVENT (Tuesday)

10th Anniversary Celebration (free admittance)
Theatro Circo
Cocktail/Buffet
Tales of ETAPS past (room: Enabler-Wipro)
Anniversary Cake + Port Wine + Fado Concert

Programme of Wednesday, March 28

09:00 - 10:10 SESSION 1 (Wednesday)

Unifying Invited Talk (Chair: Perdita Stevens, room: Enabler-Wipro)
There and Back Again: Lessons Learned on the Way to the Market
Rance Cleaveland (University of Maryland/Fraunhofer USA Center for Experimental Software Engineering and Reactive Systems Inc., USA)

10:10 - 10:30 Coffee

10:30 - 12:30 SESSION 2 (Wednesday)

Model Driven Development (Chair: Maura Cerioli, room: Unicre)
Integrating performance and reliability analysis in a Non-Functional MDA framework
Vittorio Cortellessa (Universita degli Studi di L'Aquila, Italy) Antinisca Di Marco (Universita degli Studi di L'Aquila, Italy), and Paola Inverardi (Universita degli Studi di L'Aquila, Italy)
Information Preserving Bidirectional Model Transformations
Hartmut Ehrig (Technical University Berlin, Germany), Karsten Ehrig (University of Leicester, U.K.), Claudia Ermel (Technical University Berlin, Germany), Frank Hermann (Technical University Berlin, Germany), Gabriele Taentzer (Technical University Berlin, Germany)
Activity-Driven Synthesis of State Machines
Rolf Hennicker (Ludwig-Maximilians-Universitat Munchen,Germany), Alexander Knapp (Ludwig-Maximilians-Universitat Munchen, Germany)
Flexible and Extensible Notations for Modeling
Jimin Gao (University of Minnesota, USA), Mats Heimdahl (University of Minnesota, USA), Eric Van Wyk (University of Minnesota, USA)

12:30 - 15:50 Lunch/Break

15:50 - 16:50 SESSION 3B (Wednesday)

Tool Demonstrations (Chair: José Nuno Oliveira, room: Cisco)
Declared Type Generalization Checker: An Eclipse Plug-in for Systematic Programming with More General Types
Markus Bach (University of Hagen, Germany)
Florian Forster (University of Hagen, Germany)
Friedrich Steimann (University of Hagen, Germany)
S2A: A Compiler for Multi-Modal UML Sequence Diagrams
David Harel (The Weizmann Institute of Science, Israel), Asaf Kleinbort (The Weizmann Institute of Science, Israel), Shahar Maoz (The Weizmann Institute of Science, Israel)

16:50 - 17:15 Coffee

17:15 - 18:45 SESSION 4 (Wednesday)

Distributed Systems (Chair: Holger Giese, room: Cisco)
Scenario-Driven Dynamic Analysis of Distributed Architectures
George Edwards (University of Southern California, USA), Sam Malek (University of Southern California, USA), Nenad Medvidovic (University of Southern California, USA)
Enforcing Architecture and Deployment Constraints of Distributed Component-based Software
Chouki Tibermacine (University of South Brittany, France), Didier Hoareau (University of South Brittany, France), Reda Kadri (Alkante/University of South Brittany, France)
A Family of Distributed Deadlock Avoidance Protocols and their Reachable State Spaces
César Sanchez (Stanford University, USA), Henny B. Sipma (Stanford University, USA), Zohar Manna (Stanford University, USA)

19:00 SOCIAL EVENT (Wednesday)

Conference Banquet (tickets needed)
Paço dos Duques, Guimarães
Shuttle departure from Theatro Circo

Programme of Thursday, March 29

09:00 - 10:00 SESSION 1 (Thursday)

Invited Talk (Chair: Matt Dwyer, room: Enabler-Wipro)
Software Product Families: Towards Compositionality
Jan Bosch (Nokia, Finland)

10:00 - 10:30 Coffee

10:30 - 12:30 SESSION 2 (Thursday)

Specification (Chair: Marsha Chechik, room: Cisco)
Precise Specification of Use Case Scenarios
Jon Whittle (George Mason University, USA)
Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams
Florian Klein (University of Paderborn, Germany), Holger Giese (University of Paderborn, Germany)
SDL Profiles - Formal Semantics and Tool Support
Rüdiger Grammes (University of Kaiserslautern, Germany), Reinhard Gotzhein (University of Kaiserslautern, Germany)
Preliminary design of BML: A Behavioural Interface Specification Language for java bytecode
Lilian Burdy (INRIA Sophia Antipolis, France), Marieke Huisman (INRIA Sophia Antipolis, France), Mariele Pavlova (INRIA Sophia Antipolis, France)

12:30 - 14:30 Lunch

14:30 - 15:40 SESSION 3A (Thursday)

Unifying Invited Talk (Chair: João Saraiva, room: Enabler-Wipro)
Contract-Driven Development
Bertrand Meyer (ETH Zürich, Switzerland)

15:40 - 17:15 Break

17:15 - 18:45 SESSION 4 (Thursday)

Services (Chair: José Fiadeiro, room: Cisco)
A Service Composition Construct to Support Iterative Development
Roy Gronmo (SINTEF, Norway), Michael C. Jaeger (Technical University Berlin, Germany), Andreas Wombacher (University Twente, The Netherlands)
Correlation Patterns in Service-Oriented Architectures
Alistair Barros (SAP Research Centre, Australia), Gero Decker (University of Potsdam, Germany), Marlon Dumas (Queensland University of Technology, Australia), Franz Weber (SAP AG, Germany)
Dynamic Characterization of Web Application Interfaces
Marc Fisher II (University of Nebraska-Lincoln, USA), Sebastian Elbaum (University of Nebraska-Lincoln, USA), Gregg Rothermel (University of Nebraska-Lincoln, USA)

Programme of Friday, March 30

09:00 - 10:00 SESSION 1 (Friday)

10:30 - 12:30 SESSION 2 (Friday)

Testing (Chair: Reiko Heckel, room: Cisco)
A Prioritization Approach for Software Test Cases Based on Bayesian Networks
Siavash Mirarab (University of Waterloo, Canada), Ladan Tahvildari (University of Waterloo, Canada)
Redundancy Based Test-Suite Reduction
Gordon Fraser (Graz University of Technology, Austria), Franz Wotawa (Graz University of Technology, Austria)
Testing Scenario-Based Models
Hillel Kugler (New York University, USA), Michael J. Stern (Yale University, USA), E. Jane Albert Hubbard (New York University, USA)
Integration Testing in Software Product Line Engineering: A Model-based Technique
Sacha Reis (University of Duisburg-Essen, Germany), Andreas Metzger (University of Duisburg-Essen, Germany), Klaus Pohl (Lero, Ireland and University of Limerick, Ireland and University of Duisburg-Essen, Germany)

12:30 - 14:30 Lunch

14:30 - 16:30 SESSION 3 (Friday)

Analysis (Chair: Juergen Dingel, room: Unicre)
Practical reasoning about invocations and implementations of pure methods
Ádám Darvas (ETH Zurich, Switzerland), K. Rustan M. Leino (Microsoft Research, USA)
Finding Environment Guarantees
Marsha Chechik (University of Toronto, Canada), Mihaela Gheorghiu (University of Toronto, Canada), Arie Gurfinkel (University of Toronto, Canada)
Ensuring Consistency within Distributed Graph Transformation Systems
Ulrike Ranger (RWTH Aachen University, Germany), Thorsten Hermes (RWTH Aachen University, Germany)
Maintaining Consistency in Layered Architectures of Mobile Ad-hoc Networks
Julia Padberg (Technical University Berlin, Germany), Kathrin Hoffmann (Technical University Berlin, Germany), Hartmut Ehrig (Technical University Berlin, Germany), Tony Modica (Technical University Berlin, Germany), Enrico Biermann (Technical University Berlin, Germany), Claudia Ermel (Technical University Berlin, Germany)

16:30 - 17:00 Coffee

17:00 - 18:30 SESSION 4 (Friday)

Design (Chair: Antónia Lopes, room: Unicre)
Towards Normal Design for Safety-Critical Systems
Derek Mannering (General Dynamics, UK), Jon G. Hall (The Open University, UK), Lucia Rapanotti (The Open University, UK)
A Clustering-based Approach for Tracing Object-Oriented Design to Requirement
Xin Zhou (IBM China Research Lab, China), Hui Yu (Peking University, China)
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
Roberto E. Lopez-Herrejon (University of Oxford, England), Sven Apel (University of Magdeburg, Germany)

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-21