FOSE The Future of Software Engineering Symposium
22-23 November 2010, ETH Zurich


The proceedings of the symposium as well as a transcription of the two panel discussions have been published.

The Future of Software Engineering: Panel Discussions

Edgar G. Daylight, Sebastian Nanz (Eds.). The Future of Software Engineering: Panel Discussions. Lonely Scholar, 2011.

Speaking about the field of software engineering in general terms is difficult, as is revealed in these panel discussions from the Future of Software Engineering Symposium. Top researchers debate whether any real progress has been made during the past decades and how to distinguish between good and bad software. The relationship with other disciplines, such as mechanical engineering and civil engineering, is heavily discussed. Panel I allows the reader to compare and contrast dominant voices in software engineering; it serves as an aid for lecturers in explaining to engineering students how to see the wood for the trees in the complicated field of software engineering.

Panel II addresses specific topics in software engineering, such as concurrency, program verification, and the contradistinction between software today versus how it should be in the future. Is it possible to increase the level of abstraction without paying a price in program performance? What is the difference between engineering verification and real verification? What is the role of program specifications in today's development practice? Answers to these questions are presented in Panel II.

Panelists: Barry Boehm, Manfred Broy, Erich Gamma, Michael A. Jackson, David L. Parnas, Niklaus Wirth, and Pamela Zave (Panel I). Yuri Gurevich, Rustan Leino, Bertrand Meyer, Andreas Zeller, and Patrick Cousot (Panel II).

More information on the book:

The Future of Software Engineering

Sebastian Nanz (Ed.). The Future of Software Engineering. Springer, 2011.

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field: Barry Boehm, Manfred Broy, Patrick Cousot, Erich Gamma, Yuri Gurevich, Tony Hoare, Michael A. Jackson, Rustan Leino, David L. Parnas, Dieter Rombach, Joseph Sifakis, Niklaus Wirth, Pamela Zave, and Andreas Zeller. The contributed articles reflect the authors' individual views on what constitutes the most important issues facing software development. Both research- and technology-oriented contributions are included.

More information on the book: