© 2011

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

About the editors

Sebastian Nanz is a postdoctoral researcher at ETH Zurich, with main interests in concurrency, programming languages, and verification. He graduated with M.Sc. degrees in computer science and mathematics from Technische Universität München in 2002 and 2004, and obtained his Ph.D. degree in computer science from Imperial College London in 2006. Before joining ETH Zurich in 2009, he also worked as a researcher at the Technical University of Denmark, Microsoft Research Cambridge, and Yale University.

Bibliographic information

  • Book Title The Future of Software Engineering
  • Editors Sebastian Nanz
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Hardcover ISBN 978-3-642-15186-6
  • Softcover ISBN 978-3-642-44391-6
  • eBook ISBN 978-3-642-15187-3
  • Edition Number 1
  • Number of Pages VII, 185
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment