[Maude-users] Setra 2006, final CFP

[Christiano Braga]

SeTra 2006: The 3rd Workshop on Software Evolution through
Transformations: Embracing the Change
http://www.cs.le.ac.uk/people/rh122/setra.html

Satellite Event of the 3rd International Conference on Graph
Transformation (ICGT 2006), Natal, Rio Grande do Norte, Brazil; Sunday
17 - Friday 22 September 2006

Synopsis
--------

Transformation-based techniques such as refactoring, model
transformation, architectural reconfiguration, etc. are at the heart of
many software engineering activities, making it possible to cope with an
ever changing environment. This workshop provides a forum for discussing
these techniques, their formal foundations and applications.

Organisation
------------

Jean-Marie Favre', Institut d'Informatique et Mathématiques Appliquées,
Universite Grenoble 1, France
Reiko Heckel, Dept. of Comp. Sci., University Leicester, UK
Tom Mens, Software Engineering Lab, Université de Mons-Hainaut, Belgium

The workshop is supported by the ERCIM Working Group on Software
Evolution and the European Research Training Network SegraVis.
Aims and Topics

Since its birth as a discipline in the late 60ies Software Engineering
had to cope with the breakdown of many of its original assumptions.

Today we know that

* it is impossible to fix requirements up front;
* the design of the system is changing while it is being developed;
* the distinction between design time and run-time is increasingly  
blurred;
* a system's architecture will change or degrade while it is in use;
* technology will change more rapidly than it is possible to
re-implement critical applications;

This recognition of lack of stability in software means that we have to
cope with change, rather than defending against it. Processes, methods,
languages, and tools have to be geared towards making change possible
and cheap.

Transformations of development artefacts like specifications, designs,
code, or run-time architectures are at the heart of many software
engineering activities. Their systematic specification and
implementation are the basis for a wide range of tools, from compilers
and refactoring tools to model-driven CASE tools and formal verification
environments. The workshop provides a forum for the discussion
transformation-based techniques in software evolution.

Topics of interest include transformation formalisms and languages like

* program transformation
* model transformation
* graph transformation
* term rewriting

and their application to software evolution activities

* model-driven development
* model and code refactoring, redesign and code optimisation
* reverse engineering, pattern detection, architecture recovery
* architectural reconfiguration, self-organising or self-healing
systems, service-oriented architectures
* consistency management, co-evolution of models and code

Programme Committee
-------------------

* Luciano Baresi, Politecnico di Milano, Italy
* Thaís Batista, Pontíficia Universidade Catolica do Rio de Janeiro,  
Brazil
* Paulo Borba, Universidade Federal de Pernambuco, Recife, Brazil
* Artur Boronat, Universidad Politécnica de Valencia, Spain
* Christiano de Oliveira Braga, Universidad Complutense de Madrid, Spain
* Andrea Corradini, Universita di Pisa, Italy
* Mohammad El-Ramly, University of Leicester, UK
* Jean-Marie Favre, Universite Grenoble 1, France
* Reiko Heckel, University of Leicester, UK
* Dirk Janssens, University of Antwerp, Belgium
* Tom Mens, Université de Mons-Hainaut, Belgium
* Anamaria Martins Moreira, Universidade Federal do Rio Grande do Norte,
Natal, Brazil
* Leila Silva, Universidade Federal de Segipe, Brazil
* German Vega, Universite Grenoble 1, France

Important Dates
---------------

* Submission: 15 June 2006
* Notification: 24 July 2006
* Revised Version: 15 August 2006
* Workshop: 21 (afternoon) and 22 September 2006

Submissions
-----------

We solicit submissions of papers in two categories:

* Position papers of up to 5 pages are expected to make a clear  
problem statement and to discuss original methodology and experience,  
as well as open issues of the proposed research.

* Technical papers may have up to 12 pages and are judged, in  
addition, w.r.t. their technical contribution.

Accepted contributions will appear in the Electronic Communications  
of EASST, the European Association of Software Science and  
Technology. Please use the appriate styles style for authors.

A preliminary version of the issue will be available at the workshop.  
Depending on the overall quality, the most promising papers may be  
invited to contribute to a special issue of a journal.