Málaga 2010 - TOOLS Europe, ICMT, SC & TAP

Week Schedule at a Glance

Time Monday - Jun 28 Tuesday - Jun 29 Wednesday - Jun 30 Thursday - Jul 1 Friday - Jul 2
09:30-11:00 ICMT: Keynote
(Auditorium)
TOOLS Europe: Keynote
(Auditorium)
TOOLS Europe: Keynote
(Auditorium)
TAP: Keynote
(Auditorium)
SC: Keynote
(Auditorium)
11:00-11:30 Coffee Break
11:30-13:00 ICMT: Session 1
(Room 3.0.2)
ICMT: Session 1
(Room 3.0.1)
  SC: Session 1
(Room 3.0.2)
SC: Session 1
(Room 3.0.2)
  TOOLS Europe: Session 1
(Room 3.0.1)
TOOLS Europe: Session 1
(Room 3.0.1)
TOOLS Europe: Session 1
(Room 3.0.1)
 
      TAP: Session 1
(Room 3.0.1)
TAP: Keynote
(Auditorium)
13:00-14:30 Lunch
14:30-16:00 ICMT: Session 2
(Room 3.0.2)
ICMT: Session 2
(Room 3.0.2)
  SC: Session 2
(Room 3.0.1)
SC: Session 2
(Room 3.0.2)
  TOOLS Europe: Session 2
(Room 3.0.1)
TOOLS Europe: Keynote
(Auditorium)
TOOLS Europe: Session 2
(Room 3.0.1)
 
      TAP: Session 2
(Room 4.0.1)
TAP: Session 2
(Room 4.0.1)
16:00-16:30 Coffee Break
16:30-18:00 ICMT: Session 3
(Room 3.0.2)
ICMT: Session 3
(Room 3.0.2)
  TAP: Session 3
(Room 4.0.1)
    TAP: Session 3    
(Room 4.0.1)
  TOOLS Europe: Session 3
(Room 3.0.1)
TOOLS Europe: Session 2
(Room 3.0.1)
   
18:00-18:30     Google
Q&A Session

(Room 3.0.1)
   



Workshops
Monday - Jun 28      Tuesday - Jun 29      Wednesday - Jun 30      Thursday - Jul 1      Friday - Jul 2     
BSME
(Room 4.1.1)
IFIP DS
(Room 2.0.6)
MtATL
(Room 4.1.1)
TTC
(Room 4.1.1 - 4.1.2)
TTC
(Room 4.1.1 - 4.1.2)
DYLA
(Room 4.0.1)
MoSE
(Room 4.1.1)
TWOMDE
(Room 4.0.1)
IWMCP
(Room 4.1.4)
QAOOSE
(Room 4.1.4)
  WCSI
(Room 4.0.1)
     


ETSI Building Maps

Monday - June 28

Time ICMT
09:30-11:00 Keynote: Stefano Ceri
11:00-11:30 Coffee Break
11:30-12:00 Safe Composition of Transformations
12:00-12:30 From State-to Delta-Based Bidirectional
Model Transformations
12:30-13:00 Surviving the Heterogeneity Jungle with
Composite Mapping Operators
13:00-14:30 Lunch
14:30-15:00 Meta-model Matching Based on
Planar Graph Edit Distance
15:00-15:30 From Sequence Diagrams to State Machines
by Graph Transformation
15:30-16:00 Synthesis of OCL Pre-Conditions for
Graph Transformation Rules
16:00-16:30 Coffee Break
16:30-17:00 Constructing and Navigating Non-Invasive
Model Decorations
17:00-17:30 Implementing Business Process Recovery Patterns
through QVT Transformations
17:30-18:00 Temporal Model-Based Diagnostics Generation
for HVAC Control Systems

Tuesday - June 29

Time ICMT TOOLS Europe
09:30-11:00 Keynote: Oege de Moor
11:00-11:30 Coffee Break
11:30-12:00 Domain-Specific
of Model
Composition
Deltas
12:00-12:30 Deep
with
Meta-Modelling
MetaDepth
12:30-13:00 Model-to-Model
by
Transformation
Demonstration
13:00-14:30 Lunch
14:30-15:00 Model Migration
with Epsilon Flock
Encoding Ownership Types
in Java
15:00-15:30 Exceptional Transformations Revisiting Parametric Types
and Virtual Classes
15:30-16:00 Towards Incremental Execution
of ATL Transformations
Welterweight Java
16:00-16:30 Coffee Break
16:30-17:00 Improving Highter-Order Transformations
Support in ATL
Late Binding of
AspectJ Advice
17:00-17:30 A Constructive Approach to
Testing Model Transformations
EriLex: An Embedded Domain Specific
Language Generator
17:30-18:00 Towards a Rewriting Logic
Semantics for ATL
A Generic Meta-Model-based Approach for
Specifying Framework Functionality and Usage

Wednesday - June 30

Time TOOLS Europe
09:30-11:00 Keynote: Bertrand Meyer
11:00-11:30 Coffee Break
11:30-12:00 Understanding the Impact of
Collection Contracts on Design
12:00-12:30 Visualizing Dynamic Metrics
with Profiling Blueprints
12:30-13:00 Domain-Specific Program Checking
13:00-14:30 Lunch
14:30-16:00 Keynote: Ivar Jacobson
16:00-16:30 Coffee Break
16:30-17:00 Read-Only Execution for
Dynamic Languages
17:00-17:30 Loosely-coupled Distributed Reactive
Programming in Mobile Ad Hoc Networks
17:30-18:00 Reasoning about Function Objects
18:00-18:30 Tools for Engineering Productivity at Google:
Q&A Session

Thursday - July 1

Time SC TOOLS Europe TAP
09:30-11:00 Keynote: Michael Ernst
11:00-11:30 Coffee Break
11:30-12:00 Composing models at two modeling levels to capture
heterogeneous concerns in requirements
JSConTest:
of
Contract-Driven Testing
JavaScript Code
12:00-12:30 Managing Variability in Workflow with
Feature Model Composition Operators
Moles:
environment isolation
tool-assisted
with closures
12:30-13:00   QuickSpec: Guessing
using
Formal Specifications
Testing
13:00-14:30 Lunch
14:30-15:00 Optimizing Aspect
for Embedded
-oriented Mechanisms                      
Applications
Testing First-Order Logic Axioms in
Program Verification
15:00-15:30 An advice
composition
for advice
in AspectJ
Proving OCL Invariant Independence by
Automatically Generated Test Cases
15:30-16:00 The .NET Composition Primitives Proof process evaluation with
mutation analysis
16:00-16:30 Coffee Break
16:30-17:00     Generating Regression Unit Tests using a Combination
of Verification and Capture & Replay
17:00-17:30     DyGen: Automatic Generation of High-Coverage
Tests via Mining Gigabytes of Dynamic Traces
17:30-18:00     Combining Static Analysis and Test Generation
for C Program Debugging

Friday - July 2

Time SC TAP
09:30-11:00 Keynote: Valérie Issarny
11:00-11:30 Coffee Break
11:30-12:00 Dynamically Adaptive Systems
through Automated Model Evolution
using Service Compositions
Keynote: Nachi Nagappan
12:00-12:30 Visualizing and Assessing a Compositional
Approach of Business Process Design
12:30-13:00 Construction of Asynchronous
Communicating Systems
13:00-14:30 Lunch
14:30-15:00 Composition and Compositionality
for Robotics Components
Generating High Quality Tests for Boolean Circuits
by Treating Tests as Proof Encodings
15:00-15:30 Event-specific Software Composition in
Context-oriented Programming
Relational Analysis of (Co)inductive Predicates,
(Co)algebraic Datatypes, and (Co)recursive Functions
15:30-16:00 Predicated Generic Functions: Enabling
Context-Dependent Method Dispatch
Combining narrowing and theorem proving
for rewriting-logic specifications
16:00-16:30 Coffee Break
16:30-17:00   Syntactic Abstraction
of B Models to Generate Tests
17:00-17:30   Building a test-ready abstraction
of a behavioral model using CLP
17:30-18:00    

ICMT




TOOLS Europe







TAP





SC