The Future of Software Engineering

1. Some Future Software Engineering Opportunities and Challenges
Barry Boehm

2. Seamless Method- and Model-based Software and Systems Engineering
Manfred Broy

3. Logical Abstract Domains and Interpretations
Patrick Cousot, Radhia Cousot, Laurent Mauborgne

4. Design Patterns – Past, Present & Future
Erich Gamma

5. Evidential Authorization*
Andreas Blass, Yuri Gurevich, Michał Moskal, Itay Neeman

6. Engineering and Software Engineering
Michael Jackson

7. Tools and Behavioral Abstraction: A Direction for Software Engineering
K. Rustan M. Leino

8. Precise Documentation: The Key to Better Software
David Lorge Parnas

9. Empirically Driven Software Engineering Research
Dieter Rombach

10. Component-based Construction of Heterogeneous Real-time Systems in BIP
Joseph Sifakis

11. Computer Science: A Historical Perspective and a Current Assessment
Niklaus Wirth

12. Internet Evolution and the Role of Software Engineering
Pamela Zave

13. Mining Specifications: A Roadmap
Andreas Zeller

Keywords: Computer Science, Software Engineering