Bøger i Programming and Software Engineering serien

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15- 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.

The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops

This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.R. China, on May 20-21, 2006. The theme of SPW/ProSim 2006 was "e;Software Process Change - Meeting the Challenge."e; Software developers are under ever-increasing pressure to deliver their products more quickly and with higher levels of quality. These demands are set in a dynamic context of frequently changing technologies, limited resources and globally distributed development teams. At the same time, global competition is forcing - ganizations that develop software to cut costs by rationalizing processes, outsourcing part or all of their activities, reusing existing software in new or modified applications and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new or modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS and community-developed software are becoming more popular. Outsourcing coupled with 24/7 development demands well-defined processes and interfaces to support the coordination of organizationally and geographically separated teams. All of these challenges combine to increase demands on the efficiency and effectiveness of so- ware processes.

Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have been proposed to implement the concept, from libraries of reusable assets to product lines, to generative methods. These latter techniques are mostly used in intra-organizational reuse, and require considerable formal knowledge over the evolution of technology and required functionality in a domain over several years. On the other end of the spectrum, extra-organizational reuse is based on reuse of off-the-shelf (OTS) software (both open and closed source, acquired for free or for a fee). Here, a limited investment and immediate availability of the assets have widely spread the approach. On the other hand, the reusing organization has no control on the evolution of the functionality and assumptions of the asset. Even when the assets are open source, they are seldom modified. The theme for this ninth meeting is the reuse of off-the-shelf (OTS) components and related problems: * Documentation of OTS components * Processes to identify and select OTS components * Integration and evolution problems * Reliability and security of OTS components and legal issues * Interaction with the developer community or with the vendor The proceedings you are holding cover these issues as well as development and use of product lines, variability modeling, aspect-based development, composition of components and services. June 2006 Maurizio Morisio Organization Organizing Committee General: Giancarlo Succi, Free University Bolzano/Bozen Program: Maurizio Morisio, Politecnico di Torino Workshops Peter Knauber, Mannheim University of Applied Sciences, Germany

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. Exception handling is an essential part of software and system architectures and a crucial element in the tool-set that enables the building of resilient, robust and safe software systems. Two ECOOP workshops on exception handling were held in 2003 and 2005. This book is primarily an outcome of these two events - several workshop participants as well as a number of other leading researchers in the field were invited to contribute a chapter each.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop. The tutorials combine foundations, methods, examples, and tool support. Subjects covered include feature-oriented programming and the AHEAD tool suite; program transformation with reflection and aspect-oriented programming, and more.

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "e;outside the box"e; thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.

This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006. The 18 revised full papers presented were carefully reviewed and selected from 62 submissions.

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "e;faults"e; could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.

Software Engineering is a multifaceted and expanding topic. It aims to provide theories, methods and tools to tackle the complexity of software systems, from development to maintenance. Its complexity is made even more severe today by rapidadvancesin technology,the pervasivenessofsoftwareinallareasofsociety, and the globalization of software development. The continuous expansion of the ?eld presents the problem of how to keep up for practitioners. For educators, the key questions are how should software engineers be educated and what are the core topics and key technologies? Even looking only at the last decade, the tremendous changes that have taken place in the software engineering industry, and in the industrial world in general,raise many questions. What are the e?ects of: Outsourcing?Distributed softwaredevelopment?Opensource?Standardization?Softwarepatents?Mod- driven development? How should these developments change the way we teach softwareengineering?Shouldtextbooksbeupdated?Shouldsoftwareengineering play a di?erent role in the computer science curriculum, for example, be more pervasive? How are instructors in universities handling these issues? All these issues were discussed at the Software Education and Training s- sions at the International Conference on Software Engineering (ICSE 2005) by leading researchers, educators, and practitioners in software engineering, who presented their-sometimes controversial-views and insights on software en- neering education in the new millennium. In this volume we have collected some of the most representative and innovative approachesthat were presented at the workshop. The authors revised their papers based on discussions at the conf- ence and the comments they received from the reviews.

Victor R. Basili, Dieter Rombach, and Kurt Schneider Introduction In 1992, a Dagstuhl seminar was held on "e;Experimental Software Engineering Issues"e; (seminar no. 9238). Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising open questions, and proposing a future research agenda. Since 1992, the topic of ESE has been adopted more widely by academia as an interesting and promising research topic, and in industrial practice as a necessary infrastructure technology for goal-oriented, sustained process improvement. At the same time, the spectrum of methods applied in ESE has broadened. For example, in 1992, the empirical methods applied in software engineering were basically restricted to quantitative studies (mostly controlled experiments), whereas since then, a range of qualitative methods have been introduced, from observational to ethnographical studies. Thus, the field can be said to have moved from experimental to empirical software engineering. We believe that it is now time to again bring together practitioners and researchers to identify both the progress made since 1992 and the most important challenges for the next five to ten years.

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held in Newport Beach, CA, USA, in November 2007. The 22 revised full papers presented were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on component-based middleware, mobile and ubiquitous computing, grid and cluster computing, enhancing communication, resource management, reliability and fault tolerance.

Celebrating Five Years of Early Aspects The early aspects community had its origins in the "e;Early Aspects: Requirements En- neering and Architecture Design"e; workshop organized during the first international c- ference on Aspect-Oriented Software Development (AOSD), in March 2002. Since then, the early aspects community has grown rapidly. At the time this project started, the Early Aspects Steering Committee (www. early-aspects. net) had organized nine editions of the Early Aspects workshop in conferences such as AOSD OOPSLA, ICSE and SPLC and edited two special issues in international journals. Workshop attendance has exceeded 200, and from these more than 60% were different individuals. This number corresponds to just over 20 participants per workshop, despite the fact that participation was allowed only to authors of accepted papers or invited researchers. However, the early aspects community is much larger than that. A considerable n- ber of papers have been published regularly in journals, books and conferences where the early aspects workshop has not yet been organized. The number and range of subm- sions to the workshop series have demonstrated that the field has a solid base of conti- ous research being done by established groups around the world. The early-aspects community is now self-sustaining and continuously expanding. Therefore, we felt that the fifth anniversary of the first early aspects workshop was an appropriate juncture to upgrade the autonomous standing of the community by providing it with its own formal publication.

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, during May 10-11, 2008. ICSP 2008 was the second conference of the ICSP series. The theme of ICSP 2008 was "e;Making Globally Distributed Software Development a Success Story. "e; Software developers work in a dynamic context of frequently changing technologies and with limited resources. Globally distributed development teams are under ev- increasing pressure to deliver their products more quickly and with higher levels of qu- ity. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part of or all development activities, reusing existing software in new or modified applications, and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new and modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS, and com- nity-developed software are becoming more and more popular. Outsourcing coupled with 24/7 development demands well-defined processes to support the coordination of organizationally-and geographically-separated teams. The accepted papers present completed research or advanced work-in-progress in all areas of software and systems development process including: agile software pr- esses, CMMI, novel techniques for software process representation and analysis; process tools and metrics; and the simulation and modeling of software processes. Contributions reflecting real-world experience, or derived directly from industrial or open-source software development and evolution, were particularly welcome.

Software reuse depicts a great vision for the software industry. It has been widely viewed as a promising way to improve both the productivity and quality of software development. However, despite of the successes we have achieved, there are still many issues that have limited the promotion of software reuse in the real world. Therefore, software reuse has remained an important hotspot of research. ICSR is the premier international conference in the field of software reuse. It has been an important venue for presenting advances and improvements within the software reuse domain, and a powerful driving force in promoting the interaction between researchers and practitioners. The theme of ICSR 10 was "e;High Confidence Software Reuse in Large Systems. "e; A high confidence system is one that behaves in a well-understood and predictable fashion. Today's trends towards widespread use of commercial off-the-shelf (COTS) technology, increased integration, continuous evolution, and larger scale are yielding more complex software systems. So, the problem of how to build high confidence complex systems and how to reuse software with a high level of confidence has become a new attractive topic for research. Furthermore, high-level software asset reuse has been a goal for the last 20-30 years, and it can still be considered an unsolved question. Components-based development, MDA-MDE-MDD, extreme programming, and other techniques or methods are promising approaches to software reuse that still need more research. These proceedings report on the current state of the art in software reuse.

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday'ssoftwaredevelopment. COOR- DINATIONaimstoexplorethespectrumoflanguages,middleware,services,and algorithms that separate behavior from interaction, therefore increasing mo- larity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway in June 2008, as part of the federated DisCoTec conference. COORDI- NATIONitselfispartofaserieswhoseproceedingshavebeenpublishedinLNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, and 4467. From the 61 submissions received from around the world, the Program Committee selected 21 papers for presentation and publication in this volume on the basis of or- inality, quality, and relevance to the topics of the conference. Each submission received at least three reviews. As with previous editions, the paper submission and selection processes were managed entirely electronically. This was acc- plished using EasyChair, a free Web-based conference management system. In addition to the technical paper presentations, COORDINATION 2008 hosted an invited presentation by Matt Welsh from Harvard University. We are grateful to all the Program Committee members who devoted much e?ort and time to read and discuss the papers. Moreover, we acknowledge the help of additional external reviewers who evaluated submissions in their area of expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandthe conferenceattendees, for keeping this researchcommunity lively and interactive, and ultimately ensuring the success of this conference series.

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited Sweden (Uppsala, 1998), Germany (Potsdam, 2000), Belgium (Leuven, 2001), Austria (Vienna, 2002), France (Toulouse, 2003) and Portugal (Porto, 2006). It was certainly high time that the conference came to Italy! The conference series, which is run and sponsored by Ada-Europe, chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country, and/or to facilitate the formation, or the growth, of a national community around all aspects of reliable software technologies. The success of this year's conference, beside the richness of its technical and social program, will thus be measured by its lasting effects. We can only hope that the latter will be as good and vast as the former! Owing to the absence of a national society associated with Ada-Europe in Italy, the organization of the conference was technically sustained by selected members of the Board of Ada-Europe, its governing body, with some invaluable local support.

Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In addition to models, the transformations between them are other key elements in model-driven engineering. Model transformations allow the de?nition and implementation of the operations on models, and also provide achainthatenablestheautomateddevelopmentofasystemfromitscorrespo- ing models. Furthermore, model transformations may be realized using models, and are, therefore, an integral part of any model-driven approach. There are already several proposals for model transformation speci?cation, implementation and execution, which are beginning to be used by modeling practitioners. However, model transformations need specialized support in s- eral aspects in order to realize their full potential. The problem goes beyond having speci?c languages to represent model transformations; we also need to understandtheirfoundations,suchasthekeyconceptsandoperatorssupporting those languages, their semantics, and their structuring mechanisms and pr- erties (e. g. , modularity, composability and parametrization). In addition, model transformations can be stored in repositories as reusable assets, where they can be managed, discovered and reused. There is also a need to chain and combine model transformations in order to produce new and more powerful transfor- tions, and to be able to implement new operations on models. Finally, model transformations need methodology support, i. e. , they need to be integrated into software development methodologies supported by appropriate tools and en- ronments. These issues and concerns de?ne the focus of these proceedings.

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD) 2006, on whose results we report here.