Workshops
Below you can find an overview of the workshops organised at ASE 2010. Please note that ASE 2010 provides other opportunities to make your attendance even more inspiring and productive !
The full program can be consulted online in the Program section of this website. The workshops are organized on :
Overview
Workshop Chairs
Tom Mens
Software Engineering Lab
University of Mons
Mons (Belgium)
contact
Tevfik Bultan
Department of Computer Science
University of California
Santa Barbara (USA)
contact
WASDeTT-3: 3rd International Workshop on Academic Software Development Tools and Techniques
URL
DATE
September 20, 2010 in room M102
ORGANISERS
- Mark van den Brand, TU/Eindhoven, The Netherlands (primary contact)
- Kim Mens, Université catholique de Louvain (UCL), Belgium
- Holger Kienle, University of Victoria, Canada / Mälardalen University, Sweden
- Anthony Cleve, INRIA Lille, France
ABSTRACT
The WASDeTT workshop series is motivated by the observation that tools and tool building play an important role in applied academic software engineering research. The tangible results of research projects are often embodied in a tool. Even though tool building is a popular technique to validate research (e.g., proof-of-concept prototyping followed by user studies), it is neither simple nor cheap to accomplish. Given the importance of tool building and the significant cost associated with it, our workshop allows interested researchers to share their tool building experiences and to explore how tools can be build more effectively and efficiently. The purpose of this workshop is not to focus on any specific kind of these tools (say, refactoring or program comprehension tools) but rather to gather researchers working on different tools, with the goal of providing a forum where tool builders can talk about common issues relevant to all tool builders, and builders of academic research prototypes in particular.
IWPSE-Evol 2010: 4th International Joint ERCIM/IWPSE Symposium on Software Evolution
URL
DATE
September 20 + 21, 2010 in room M101
ORGANISERS
- Andrea Capiluppi, University of East London, UK
- Anthony Cleve, ERCIM Fellow, INRIA Lille, France
- Naouel Moha, INRIA Rennes, University of Rennes 1, France
- Tom Mens, University of Mons, Belgium (ERCIM Liaison Officer)
ABSTRACT
Research in software evolution and evolvability has been thriving in the past years, with a constant stream of new formalisms, tools, techniques, and development methodologies trying, on the one hand, to facilitate the way long-lived successful software systems can be changed in order to cope with demands from users and the increasing complexity and volatility of the contexts in which such systems operate, and, on the other hand, to understand and if possible control the processes by which demand for these changes come about. This workshop is the merger of the annual ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE). The rationale for a common event is to capitalize on the synergies to be found when theorists and practitioners meet.
FMICS 2010: 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
URL
DATE
September 20 + 21, 2010 in room M002
ORGANISERS
- Stefan Kowalewski (RWTH Aachen University - Germany)
- Marco Roveri (FBK-irst, Italy)
ABSTRACT
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The themes of the workshop are close to those of Model Driven Development and other automated techniques for software development and verification, based on rigorous formal descriptions of systems' behavior.
MOMPES 2010: 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
URL
DATE
September 20, 2010 in room M107
ORGANISERS
- Luis C. Lamb, Federal U Rio Grande do Sul, Brasil
- Goetz Botterweck, Lero and U Limerick, Ireland
- João M. Fernandes, U Minho, Portugal
ABSTRACT
Model-Based Development (MBD) comprises approaches to software development, relying on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects of the adoption of MBD methodologies (notation, process, methods, and tools) for the construction of software for pervasive and embedded systems. This year, we have a particular focus on how to automate or partially automate tasks in this area to achieve significant improvements in quality and productivity.
Moves-Verif
URL
DATE
September 21, 2010 in room M107
ORGANISERS
- Jean-François Raskin, ULB, Belgium
- Bernard Boigelot, ULg, Belgium
- Pierre-Yves Schobbens, FUNDP, Belgium
ABSTRACT
The workshop is aimed at gathering researchers interested in computer aided verification and computer aided synthesis for computer software systems. The long term objective is to improve model-based methodologies for better software development.
The goal of the workshop is to exchange ideas with an international public interested in formal methods for software development and verification. Emphasis will be put on the applications of the theories developed in the context of software: automatic proof of programs, software synthesis, interface specifications, refinement, and correctness by construction.
3rd Workshop on Living With Inconsistency in Software Development
URL
DATE
September 21, 2010 in room M102
ORGANISERS
- Alexander Egyed, Systems Engineering and Automation Institute, Johannes Kepler University Linz
- Roberto E. Lopez-Herrejon, Systems Engineering and Automation Institute, Johannes Kepler University Linz
- Bashar Nuseibeh, Lero, The Irish Software Engineering Research Centre, Ireland
- Goetz Botterweck, Lero, The Irish Software Engineering Research Centre, Ireland
- Marsha Chechik, Department of Computer Science, University of Toronto, Canada
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
ABSTRACT
In software engineering, there has long been a recognition that inconsistency is a fact of life. Evolving descriptions of software artifacts are frequently inconsistent, and tolerating this inconsistency is important if flexible collaborative working is to be supported. This year's workshop recognises the growing importance that inconsistency management has acquired over the last few years, with the advent of Model Driven Development (MDD) and the increased role that modeling plays in software development. We want to capitalize on this renewed interest and provide a venue for researchers and practitioners to gather and exchange ideas.
ACoTA: 1st International Workshop on Automated Configuration and Tailoring of Applications
URL
DATE
September 20, 2010 in room M103
ORGANISERS
- Deepak Dhungana, Lero - The Irish Software Engineering Research Centre, Ireland
- Rick Rabiser, Johannes Kepler University Linz, Austria
- Norbert Seyff, City University London, UK
- Goetz Botterweck, Lero - The Irish Software Engineering Research Centre, Ireland.
ABSTRACT
With the increasing number of applications and the importance of software in our daily lives, it is inevitable that in the near future end-users will be directly involved in configuring and tailoring applications to match their requirements. Such a scenario has several implications for software engineering practices. Major attention will have to be paid to automation of software configuration approaches and tailoring of applications. Software product lines are more important than ever, but need to be deployed in a fundamentally different, more compositional, way and prepared as the basis for a software ecosystem.
Automation of configuration (e.g., the process of selection, composition, and configuration of components or services) is crucial, as end-users are typically not software engineers. Among others, it will be increasingly important to explicitly define and model the variability of applications as a basis for automation. Supporting tailoring of applications means that users themselves can adapt and customize an application to their specific needs, possibly on the fly. This requires abstracting from technical configuration mechanisms and representing variability in a way perceivable and usable by end-users. Rigorous modelling methods, languages, and tools are needed to describe and manage the variability of applications and to implement effective means for configuring and tailoring applications.
TAV-WEB-10: Workshop on Testing, Analysis and Verification of Web Software
URL
DATE
September 21, 2010 in room M103
ORGANISERS
- Gwen Salaün, INRIA Grenoble – Rhône-Alpes, VASY Project-team, France
- Xiang Fu, Hofstra University, US
- Sylvain Hallé, University of California Santa Barbara, US
ABSTRACT
The last decade has seen the explosive growth of interactive Web software, which is now commonplace in many application domains. This explosive growth is likely to accelerate further by adoption of service oriented computing that enables interactions among Web accessible software components facilitating business-to-business application development. Challenges in developing Web accessible software has inspired a new wave of languages, standards, and tools that have not yet become part of the mainstream software engineering research and education. On the other hand, an increasingly large number of software developers work exclusively on Web software development. Investigating the testing, analysis and verification problems in this particular domain is an extremely important research topic.
Developing dependable Web software requires effective testing, analysis and verification techniques and tools that address not only the needs of software in general but also the peculiar challenges of this domain. These demands will require and inspire new testing, analysis and verification techniques and corresponding tools, which will form the focus of this workshop. The workshop will bring together members of the academic, research, and industrial communities interested in testing, analysis and verification of Web software.
