The Future of Software Engineering

1. Front Matter

   Pages i-vii

   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

    PDF

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

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

  Sebastian Nanz

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.

Policies and ethics