This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews.

The flood of information technology (I.T.) products and services entering the market place often obscures the need to nurture the research enterprise. But as I.T. becomes integrated into all aspects of society, the need for research is even greater. And the range of issues that need to be addressed is broader than ever. This new book highlights the fundamental importance of research to ensure that I.T. meets society's expanding needs. Against the background of dramatic change in the I.T. landscape, the committee examines four key questions: Is the scope of I.T. research broad enough-particularly in the arena of large-scale systems-to address government, business, and social applications? Are government and industrial sponsors providing sufficient funding for I.T. research? Is the research net big both big and diverse enough to capture sufficient financial and intellectual resources to advance the field? Are structures and mechanisms for funding and conducting research suited to the new sets of research challenges?

The overwhelming majority of a software system’s lifespan is spent in use, not in design or implementation. So, why does conventional wisdom insist that software engineers focus primarily on the design and development of large-scale computing systems? In this collection of essays and articles, key members of Google’s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world. You’ll learn the principles and practices that enable Google engineers to make systems more scalable, reliable, and efficient—lessons directly applicable to your organization. This book is divided into four sections: Introduction—Learn what site reliability engineering is and why it differs from conventional IT industry practices Principles—Examine the patterns, behaviors, and areas of concern that influence the work of a site reliability engineer (SRE) Practices—Understand the theory and practice of an SRE’s day-to-day work: building and operating large distributed computing systems Management—Explore Google's best practices for training, communication, and meetings that your organization can use

"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time.

On 29 July 1958, President Dwight D. Eisenhower signed the National Aeronautics and Space Act, creating the National Aeronautics and Space Administration (NASA), which became operational on 1 October of that year. Over the next 50 years, NASA achieved a set of spectacular feats, ranging from advancing the well-established field of aeronautics to pioneering the new fields of Earth and space science and human spaceflight. In the midst of the geopolitical context of the Cold War, 12 Americans walked on the Moon, arriving in peace “for all mankind.” Humans saw their home planet from a new perspective, with unforgettable Apollo images of Earthrise and the “Blue Marble,” as well as the “pale blue dot” from the edge of the solar system. A flotilla of spacecraft has studied Earth, while other spacecraft have probed the depths of the solar system and the universe beyond. In the 1980s, the evolution of aeronautics gave us the first winged human spacecraft, the Space Shuttle, and the International Space Station stands as a symbol of human cooperation in space as well as a possible way station to the stars. With the Apollo fire and two Space Shuttle accidents, NASA has also seen the depths of tragedy. In this volume, a wide array of scholars turn a critical eye toward NASA’s first 50 years, probing an institution widely seen as the premier agency for exploration in the world, carrying on a long tradition of exploration by the United States and the human species in general. Fifty years after its founding, NASA finds itself at a crossroads that historical perspectives can only help to illuminate.