Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. Today s luxury cars contain up to 80 electronic control units (ECUs) and 5 di?erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their...

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, requirements and structures of computing science. This collection of papers presents examples of a formal approach to programming language concepts and program development, based on algebraic specification and program transformations. Examples are also presented of the evolution and modification of the original ideas of a project known as CIP (Computer-Aided Intuition-Guided Programming). The topics range from descriptions...

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent...

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface...