Proceedings Of The Joint 8th European Software Engineering Conference Esec And 9th Acm Sigsoft Symposium On The Foundations Of Software Engineering Fse 9

This is the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in Västerås, Sweden in June/July 2006. The 22 revised full papers and 9 revised short papers presented cover issues concerned with the development of software-intensive systems from reusable parts, the development of reusable parts, and system maintenance and improvement by means of component replacement and customization.

The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions afterwards. Thus, we decided to include in this proceedings also a short summary of every technical session, which was written by some of the partici pants at the workshop. The workshop invited one keynote speaker, Bobby Jadhav of CalKey, who presented a talk on the design and use of model-driven architecture and middle ware in industry. We would like to thank all the people who helped organize and run the workshop. In particular, we would like to thank the program committee for their careful reviews of the submitted papers, Wolfgang Emmerich for being an excellent General Chair, and the participants for a lively and interesting workshop.

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only possibility, a vast majority of scenario description languages is visual. Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering as, for example, Use Case Maps or Life Sequence Charts. These techniques are used to capture requirements, to capture use cases in system documentation, to specify test cases, or to visualize runs of existing systems. They are often employed to represent concurrent systems that int- act via message passing or method invocation. In telecommunications, for more than 15 years the International Telecommunication Union has standardized the Message Sequence Charts (MSCs) notation in its recommendation Z. 120. More recently, with the emergence of UML as a predominant software design meth- ology, there has been special interest in the development of the sequence d- gram notation. As a result, the most recent version, 2. 0, of UML encompasses the Message Sequence Chart notation, including its hierarchical modeling f- tures. Other scenario-?avored diagrams in UML 2. 0 include activity diagrams and timing diagrams.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop.

The dependence on quality software in all areas of life is what makes software engineering a key discipline for today’s society. Thus, over the last few decades it has been increasingly recognized that it is particularly important to demonstrate the value of software engineering methods in real-world environments, a task which is the focus of empirical software engineering. One of the leading protagonists of this discipline worldwide is Prof. Dr. Dr. h.c. Dieter Rombach, who dedicated his entire career to empirical software engineering. For his many important contributions to the field he has received numerous awards and recognitions, including the U.S. National Science Foundation’s Presidential Young Investigator Award and the Cross of the Order of Merit of the Federal Republic of Germany. He is a Fellow of both the ACM and the IEEE Computer Society. This book, published in honor of his 60th birthday, is dedicated to Dieter Rombach and his contributions to software engineering in general, as well as to empirical software engineering in particular. This book presents invited contributions from a number of the most internationally renowned software engineering researchers like Victor Basili, Barry Boehm, Manfred Broy, Carlo Ghezzi, Michael Jackson, Leon Osterweil, and, of course, by Dieter Rombach himself. Several key experts from the Fraunhofer IESE, the institute founded and led by Dieter Rombach, also contributed to the book. The contributions summarize some of the most important trends in software engineering today and outline a vision for the future of the field. The book is structured into three main parts. The first part focuses on the classical foundations of software engineering, such as notations, architecture, and processes, while the second addresses empirical software engineering in particular as the core field of Dieter Rombach’s contributions. Finally, the third part discusses a broad vision for the future of software engineering.

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number ofcomponentmodels thathavebeendevelopedandstandardized.These models de?ne how individual software components interact with each other and simplify the design process of software systems by allowing developers to choose from previously existing components. The development of component models is a ?rst step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challengesare the adaptation of components, and their development and veri?cation. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related ?elds. SC 2005 was the fourth workshop in this series. As in previous years, SC 2005 was organized as an event co-located with the ETAPS conference. This year’s program consisted of a keynote on the revival of dynamic l- guages given by Prof. Oscar Nierstrasz and 13 technical paper presentations (9 full and 4 short papers). The technical papers were carefully selected from a total of 41 submitted papers. Each paper was thoroughly peer reviewed by at leastthreemembers oftheprogramcommittee andconsensusonacceptancewas achieved by means of an electronic PC discussion. This LNCS volume contains the revised versions of the papers presented at SC 2005.