Last modified on September 6, 2007, 9:12 am
Welcome
Organization
Registration
ProgramNEW
Program Overview
Main Sessions
Invited Presentations
Posters
Doctoral Symposium
Workshops
WISE
PhotosNEW
Social eventsNEW
Register for SE.run()
Venue
Accommodation
Travel information
Getting a visa
Call for contributions
Important dates
Promotional material
Related events
Sponsors






Workshops

Workshop Room
W1: SYANCO - International Workshop on Synthesis and Analysis of Component Connectors Salon Sipun
W2: SAVCBS - 6th Workshop on Specification and Verification of Component-Based Systems Salon 6
W3: IWPSE - 9th International Workshop on Principles of Software Evolution Bobara
W4: IW-SOSWE - 2nd International Workshop on Service Oriented Software Engineering Salon 5
W5: SOQUA - 4th International Workshop on Software Quality Assurance Orlando
W6: EFTS - 2nd Workshop on Engineering Fault Tolerant Systems Salon 5
W7: ESSPE - Engineering of Software Services for Pervasive Environments Salon 7
W8: DoSTA - Workshop on Domain Specific Approaches to Software Test Automation Libertas




W1: SYANCO - International Workshop on Synthesis and Analysis of Component Connectors
Co-Organizers:Farhad Arbab, Christel Baier
Dates and place:September 3 - 4, Start 09:00 in Salon Sipun
WWW: http://wwwtcs.inf.tu-dresden.de/ALGI/syancoworkshop/

Construction of complex systems out of black-box components or services involves non-trivial glue code that embodies increasingly complex protocols, far beyond trivial "wiring" of those components or services. Distribution and heterogeneity of the constituent components and services further compound the complexity of connectors. The focus of this workshop is on the glue code itself and its properties, independent of the entities that it connects. This workshop advocates connectors as a first-class constituent in complex systems, and promotes the application of formal methods to its synthesis and analysis, as a means to allow compositional construction and reasoning.

W2: SAVCBS - 6th Workshop on Specification and Verification of Component-Based Systems
Co-Organizers:Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary Leavens, Natasha Sharygina
Dates and place:September 3 - 4, Start 09:00 in Salon 6
WWW:http://www.cs.iastate.edu/SAVCBS/

This workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior, such as performance or reliability.

W3: IWPSE - 9th International Workshop on Principles of Software Evolution
Co-Organizers:Massimiliano Di Penta, Michele Lanza
Dates and place:September 3 - 4, Start 09:00 in Bobara
WWW:http://iwpse2007.inf.unisi.ch

Software evolution, recognized as an essential aspect of software systems life cycle, has become an emerging research subject in recent years and is attracting the attention of researchers and practitioners. Since 1998, the International Workshop on Principles of Software Evolution (IWPSE) is dedicated to the discussion of both the theory and the experience of software evolution. The intent of IWPSE is to provide a forum to discuss a wide range of topics in software evolution, to foster the better understanding of the nature of software evolution, and to accelerate research activities on the subject.

W4: IW-SOSWE - 2nd International Workshop on Service Oriented Software Engineering
Co-Organizers:Elisabetta Di Nitto, Andrea Polini, Andrea Zisman
Dates and place:September 3, Start 09:00 in Salon 5
WWW: http://www.selab.isti.cnr.it/IW-SOSWE07/

Service oriented software engineering aims to formulate systematic and effective engineering solutions to development, deployment, and management of services and service-oriented software systems. Even if in the last years various results have been achieved, still, the engineering of complex and dependable service-centric software lacks powerful, effective methods and tools. The 2nd International Workshop on Service Oriented SoftWare Engineering (IW-SOSWE'07) aims at bringing together researchers and practitioners to discuss about new challenges, existing issues, recent developments, methods, tools, and experience reports to support development and use of service centric systems.

W5: SOQUA - 4th International Workshop on Software Quality Assurance
Co-Organizers:Mauro Pezze
Dates and place:September 3 - 4, Start 09:00 in Orlando
WWW:http://2007.soqua.org/

The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology enable reductions in costs and schedule, but their effect on software quality assurance remains often unclear. SOQUA 2007 aims at providing a venue for researchers, engineers, and practitioners to discuss and evaluate latest challenges, breakthroughs and experiences in the field of software quality assurance, and to identify open issues and future trends in this area. SOQUA 2007 will put special focus on the role that self-adaptive and self-healing solutions can play in quality assurance.

W6: EFTS - 2nd Workshop on Engineering Fault Tolerant Systems
Co-Organizers:Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
Dates and place:September 4, Start 09:00 in Salon 5
WWW: http://efts2007.uni.lu

Fault tolerance engineering has been advocated by some researchers as one of the main approaches to ensuring the overall system dependability. The 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS 2007) aims to investigate how fault tolerance mechanisms can be taken into account when engineering complex software systems and to improve our understanding of where and how fault-tolerance should be integrated in the software life-cycle. The focus of the workshop is on developing novel models to be applied at different abstraction levels (requirement, architecture and design models for fault tolerance, together with new implementation schemes), innovative technologies (tools and frameworks for implementing distributed fault tolerant systems) and advanced verification environments (to assess the achieved level of fault tolerance and to evaluate the dependability properties of the systems). Recently there has been growing interest in the areas directly related and overlapping with fault tolerance, such as system self-healing, resilience, self-adaptation and self-management. The topics related to engineering of systems with such properties are in the scope of the workshop as the intention is to improve the current understanding of how fault tolerance engineering can benefit from research on these areas.

W7: ESSPE - Engineering of Software Services for Pervasive Environments
Co-Organizers:Alexander Wolf
Dates and place:September 4, Start 09:00 in Salon 7
WWW:http://www.inf.unisi.ch/esspe07/

Two trends in information and communication technologies will converge over the next 10 years: Software Services and Pervasive Environments. Both have received considerable individual attention, but the complexities of their interaction and integration have yet to be faced. This workshop looks specifically at the software engineering challenges underlying the convergence of software services and pervasive environments. How do we: develop services that can operate within pervasive, ubiquitous, and highly dynamic computing environments; provide guarantees of correctness, robustness, resilience, trust, and security; and maintain component services developed by a variety of different organizations, and deployed and operated for many years?

W8: DoSTA - Workshop on Domain Specific Approaches to Software Test Automation
Co-Organizers:Alan Hartman, Mika Katara, Amit Paradkar
Dates and place:September 4, Start 09:00 in Libertas
WWW:http://dosta.cs.tut.fi/

The DoSTA workshop provides a forum for the research and development community to share their work, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain-specific software test automation. System testing is a context sensitive activity that is by nature more domain specific than program development. So far software test automation has failed in its ability to replace manual testing. Moreover, there are several trade-offs involved concerning for instance the tools, processes, methods, and services. Domain-specific solutions need customized design and transformation tools in order to be applicable. Research may provide a resolution to these problems.


Web page hosted at Department of Computer Science and Engineering,
Mälardalen University, Sweden. Webmasters: Damir Isovic and Hüseyin Aysan
This page has been accessed 33838 times.