The Future of Software Engineering
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, Eri...
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2011.
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Barry Boehm: Some Future Software Engineering Opportunities and Challenges
- Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering.-Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Reduced Product of Logical and Algebraic Abstract Interpretations
- Yuri Gurevich, Michal Moskal, Itay Neeman: Evidental Communication
- Michael Jackson: Engineering and Software Engineering
- Rustan Leino: Abstraction and Tools
- David Lorge Parnas: Precise Documentation: The Key To Better Software
- Pamela Zave: A Compositional Architecture for the Next Internet
- Andreas Zeller: Mining Specifications.