Skip to main content
SpringerLink
Log in
Book cover

The Future of Software Engineering

  • Book
  • © 2011

Overview

Editors:
  1. Sebastian Nanz

    1. , Department of Computer Science, ETH Zürich, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • The authors are prominent researchers and technologists in software engineering, providing authoritative insights into the field

  • The topic focuses on future visions for software engineering, providing a rare research roadmap for the field

  • The inclusion of both research- and technology-oriented contributions should appeal to a broad audience

  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Some Future Software Engineering Opportunities and Challenges

    • Barry Boehm
    Pages 1-32

  3. Seamless Method- and Model-based Software and Systems Engineering

    • Manfred Broy
    Pages 33-47

  4. Logical Abstract Domains and Interpretations

    • Patrick Cousot, Radhia Cousot, Laurent Mauborgne
    Pages 48-71

  5. Design Patterns – Past, Present & Future

    • Erich Gamma
    Pages 72-72

  6. Evidential Authorization*

    • Andreas Blass, Yuri Gurevich, Michał Moskal, Itay Neeman
    Pages 73-99

  7. Engineering and Software Engineering

    • Michael Jackson
    Pages 100-114

  8. Tools and Behavioral Abstraction: A Direction for Software Engineering

    • K. Rustan M. Leino
    Pages 115-124

  9. Precise Documentation: The Key to Better Software

    • David Lorge Parnas
    Pages 125-148

  10. Empirically Driven Software Engineering Research

    • Dieter Rombach
    Pages 149-149

  11. Component-based Construction of Heterogeneous Real-time Systems in BIP

    • Joseph Sifakis
    Pages 150-150

  12. Computer Science: A Historical Perspective and a Current Assessment

    • Niklaus Wirth
    Pages 151-151

  13. Internet Evolution and the Role of Software Engineering

    • Pamela Zave
    Pages 152-172

  14. Mining Specifications: A Roadmap

    • Andreas Zeller
    Pages 173-182

  15. Back Matter

    Pages 183-185
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • , Department of Computer Science, ETH Zürich, Zürich, Switzerland

    Sebastian Nanz

About the editor

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: https://doi.org/10.1007/978-3-642-15187-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2011

  • Hardcover ISBN: 978-3-642-15186-6Published: 21 October 2010

  • Softcover ISBN: 978-3-642-44391-6Published: 15 October 2014

  • eBook ISBN: 978-3-642-15187-3Published: 20 October 2010

  • Edition Number: 1

  • Number of Pages: VII, 185

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation