Programme of FASE at ETAPS 2007
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:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-21