00000cmm a22000004a 4500 UP-99796217611173254 Buklod 20230504003249.0 m go j cr |n |||auu|a 101029s2011 xx u | eng d 9783642151873 (eBook) 3642151876 (eBook) (iLib)UPD-00214606624 DML eng DMLUC QA76.758 F88 2011eb The Future of Software Engineering [electronic resource] Sebastian Nanz, editor. Berlin, Heidelberg Springer Berlin Heidelberg 2011. 1 online resource (viii, 186p.) 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. IP-based subscription, access limited to within on campus computer network. Access via Electronic Resources of the UPD University Library Website. 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. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Software engineering. Computer software Development. Electronic books. Nanz, Sebastian. SpringerLink (Online service). Electronic Resource Available for University of the Philippines Diliman via SpringerLink. Click here to access http://dx.doi.org/10.1007/978-3-642-15187-3 FO Monograph UPD DMLR Electronic Resource