Ina Schieferdecker

Alan Hartman

The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.

4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings

Model Driven Architecture - Foundations and Applications

Hartmut König

Adam Wolisz

Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.

Application to Internet Technologies and Services

Testing of Communicating Systems XIV

Mark Fewster

Andrew L. Pollner

Becoming an automated software testing expert first requires knowledge and understanding of an organizations development methodology, tools, schedules, and resources. Within this context, an overall strategy for implementing automated testing can unfold. Development of automated tests needs to be coordinated alongside other test activity and become part of the overall testing strategy. To successfully build and maintain a suite of automated tests requires the adoption of a process similar to application software development. In the world of automated tests, a framework describes those reusable components which form the basis of an automated testing program. An automated testing expert will assess the requirements of an organization, navigate the challenges posed by people and technology, and recommend, plan, implement, and maintain a process that maximizes the participation of all testers in creating automated scripts and analyzing run results. Expert automators should have broad knowledge of technical environments, hands-on experience with a variety of automated testing tools, and a technical background to ensure customization can be achieved.

Guide to the ISTQB Advanced Level Certification

Test Automation Engineering

Justyna Zander

Pieter J. Mosterman

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

Ina Schieferdecker

Books

Your next favorite book is out there