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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011.
|
Edición: | 1st ed. 2011. |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.