Normal view MARC view ISBD view

The future of software engineering / Sebastian Nanz, editor. - Berlin : Springer, 2011. - 184 pages. : illustration ; 24 cm.

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.

ISBN: 9783642151866 3642151868

LCCN: 2010937182

Subjects--Topical Terms:
Software engineering.

LC Class. No.: QA76.758 / .F87 2011

Dewey Class. No.: 005.1 / F