|
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.
|
