The Future of Software Engineering
Published on 15. October 2014
Book
Paperback/Softback
VII, 185 pages
978-3-642-44391-6 (ISBN)
Description
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.
More details
Edition
2011 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VII, 185 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
306 gr
ISBN-13
978-3-642-44391-6 (9783642443916)
DOI
10.1007/978-3-642-15187-3
Schweitzer Classification
Other editions
Additional editions
Sebastian Nanz
The Future of Software Engineering
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 7-9 days
Person
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.
Content
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.