Fundamental approaches to software engineering

Más información sobre el libro

ETAPS 2005 marked the eighth European Joint Conferences on Theory and Practice of Software, an annual federated conference established in 1998 by merging several existing and new conferences. This year featured five conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops, seven invited lectures (excluding those specific to satellite events), and several tutorials. Over 550 submissions were received across the five conferences, resulting in acceptance rates below 30% for each. Congratulations to the authors selected for the final program! We hope that others found ways to participate in this exciting event and will continue to submit in the future. The conferences cover various aspects of the system development process, including specification, design, implementation, analysis, and improvement. They encompass languages, methodologies, and tools that support these activities. The event showcases a blend of theory and practice, leaning towards theory with practical motivation, while also emphasizing soundly based practice. Many software design issues are applicable to systems in general, including hardware systems, and the focus on software is not meant to be exclusive.