The Future of Software Engineering

  • Sebastian Nanz

Table of contents

  1. Front Matter
    Pages i-vii
  2. Patrick Cousot, Radhia Cousot, Laurent Mauborgne
    Pages 48-71
  3. Andreas Blass, Yuri Gurevich, Michał Moskal, Itay Neeman
    Pages 73-99
  4. Michael Jackson
    Pages 100-114
  5. David Lorge Parnas
    Pages 125-148
  6. Andreas Zeller
    Pages 173-182
  7. Back Matter
    Pages 183-185

About this book


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. The book provides at the same time a record of a symposium held at ETH Zurich on the occasion of Bertrand Meyer‘s 60th birthday.


Software architecture Software engineering Software verification Systems design Systems specification

Editors and affiliations

  • Sebastian Nanz
    • 1
  1. 1., Department of Computer ScienceETH ZürichZürichSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15186-6
  • Online ISBN 978-3-642-15187-3
  • Buy this book on publisher's site