|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|
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|
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|
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|
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|
|Dates and place:||September 3 - 4, Start 09:00 in Orlando|
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|
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|
|Dates and place:||September 4, Start 09:00 in Salon 7|
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|
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.