The Future of Software Engineering

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Nanz, Sebastian (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Θέματα: Computer science.; Software engineering.; Computer Science.; 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...

Πίνακας περιεχομένων:

• 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.