TY  - BOOK
AU  - Nanz,Sebastian
TI  - The future of software engineering
SN  - 9783642151866
AV  - QA76.758 .F87 2011
U1  - 005.1 22
PY  - 2011///
CY  - Berlin
PB  - Springer
KW  - Software engineering
N1  - Includes author index; 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
UR  - http://www.loc.gov/catdir/enhancements/fy1302/2010937182-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy1302/2010937182-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy1302/2010937182-t.html
UR  - http://repository.fue.edu.eg/xmlui/handle/123456789/3471
ER  -