Bertrand Meyer

Are you attracted by the promises of agile methods but put off by the fanaticism of many agile texts? Would you like to know which agile techniques work, which ones do not matter much, and which ones will harm your projects? Then you need Agile!: the first exhaustive, objective review of agile principles, techniques and tools. Agile methods are one of the most important developments in software over the past decades, but also a surprising mix of the best and the worst. Until now every project and developer had to sort out the good ideas from the bad by themselves. This book spares you the pain. It offers both a thorough descriptive presentation of agile techniques and a perceptive analysis of their benefits and limitations. Agile! serves first as a primer on agile development: one chapter each introduces agile principles, roles, managerial practices, technical practices and artifacts. A separate chapter analyzes the four major agile methods: Extreme Programming, Lean Software, Scrum and Crystal. The accompanying critical analysis explains what you should retain and discard from agile ideas. It is based on Meyer’s thorough understanding of software engineering, and his extensive personal experience of programming and project management. He highlights the limitations of agile methods as well as their truly brilliant contributions — even those to which their own authors do not do full justice. Three important chapters precede the core discussion of agile ideas: an overview, serving as a concentrate of the entire book; a dissection of the intellectual devices used by agile authors; and a review of classical software engineering techniques, such as requirements analysis and lifecycle models, which agile methods criticize. The final chapters describe the precautions that a company should take during a transition to agile development and present an overall assessment of agile ideas. This is the first book to discuss agile methods, beyond the brouhaha, in the general context of modern software engineering. It is a key resource for projects that want to combine the best of established results and agile innovations.

The Good, the Hype and the Ugly

Agile!

Object-Oriented Software Construction (Book/CD-ROM) (2nd Edition) (Prentice-Hall International Series in Computer Science)

Robin Milner

Meyer Bertrand

Object-oriented Software Construction

Jean Bézivin

This conference proceeding provides a comprehensive look into the state of the object-oriented art. Based on the contributions to TOOLS 4, it covers every major aspect of the technology. As the major international forum devoted entirely to the practical applications of object-oriented technology, this guide reveals the latest practical developments in the hottest area in the software field. It describes industrial applications leading to actual products . . . results of increased practical experience with O-O methods and tools (even from those still at the prototype stage) . . . and offers a deeper appreciation the problems involved. The Tools 4 meeting was held in Paris in March 1991.

TOOLS 4 : Proceedings of the Fourth International Conference TOOLS. PARIS 1991

Technology of Object-Oriented Languages and Systems

James Woodcock

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a “Grand Challenge” intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments

J.R. Nawrocki

Bartosz Walter

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007. The 21 revised full papers presented together with 2 keynote addresses were carefully reviewed and selected from 73 initial submissions. The papers are organized in topical sections on measurement, processes, UML, experiments, tools, and change.

Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

Balancing Agility and Formalism in Software Engineering

Jim Woodcock

The Language (Prentice Hall Object-Oriented Series)

Eiffel 

Raimund K. Ege

Madhu Singh

Reflecting the work of many of the leading participants of the TOOLS USA conference held in Santa Barbara in August 1994, this fourteenth TOOLS volume offers a variety of articles of interest to the object-oriented community.

TOOLS 14 : Proceedings of the Fourteenth International Conference TOOLS USA '94, Santa Barbara, California

Technology of Object-oriented Languages and Systems

Mathai Joseph

Kay Berkling

Martin Nordio

Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti?crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current ?nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will ?rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to ?nd a composite working partnership in software engineering practice. This con?uence arises from need, not dogma, and the solutions required are those that will have the right e?ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself.

Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

Software Engineering Approaches for Offshore and Outsourced Development

Jean Cocteau

Edouard Dermit

Galerie de portraits-souvenir. L'auteur évoque des traits de la personnalité de quelque 80 personnages rattachés à des secteurs variés du domaine artistique (littérature, cinéma, théâtre, peinture, danse, music-hall, musique) et non artistique (treize noms).

Mes monstres sacrés

Jean-Marc Nerson

Written by key researchers in the field of object-oriented technology, this is the first book to provide in-depth study of actual object-oriented applications. Technically detailed, it includes interesting source code extracts, specification of important classes, system structure diagrams, and much more.

Object-oriented Applications

Jean-Michel Bruel

Manuel Mazzara

Alexander Petrenko

​This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.

51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Software Technology: Methods and Tools

Manuel Oriol

This book constitutes the thoroughly refereed proceedings of the 47th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July 2009. TOOLS has played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS has kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry. The 17 regular papers and two short papers presented in this book, together with two invited papers, were carefully reviewed and selected from 67 submissions. The topics covered in this volume are reflection and aspects, models, theory, components, monitoring, and systems generation.

47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Objects, Components, Models and Patterns

Yuri Gurevich

Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.

First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Tests and Proofs

This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics.

First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality of the software they produce. It includes topics on concurrency and Internet programming.

Olly Gotel

SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business. A profound transformation has been a?ecting this model over recent years: a massive transfer of development - tivities from the USA and Europe to a skilled labor force in service-providing countries. This transformation has been driven by the demands of a global bu- ness climate seeking to increase the value delivery of IT investment. However, the ability to realize this value can prove problematic in practice. Of particular concern are the hidden costs of globally distributed models of working, such as understanding and communicating the true business needs across organizational and cultural boundaries. To address such issues, o?shore outsourcing requires di?erent support from in-housedevelopmentandthismeansadaptingfamiliartechniques,processesand tools to this setting, as well as perhaps creating innovative new ones. Coupled with this industry transformation there is hence a pressing need to re-examine thosesoftwareengineeringapproachesthateither facilitate orimpede this model of working. With an inevitable focus on the economy in 2009, business decisions regarding the sourcing of software development projects will come under close scrutiny. It will become increasingly critical to design global partnerships that both clarify cost/bene?ts and enable delivery on business needs.

Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

The origins of CEE-SET go back to the end of the 1990s, when the Polish Inf- mation Processing Society together with other partners organized the Software Engineering Education Symposium, SEES 1998, sponsored by CEPIS, and the Polish Conference on Software Engineering, KKIO 1999 (the latter has become anannualevent). AfewyearslaterKKIOchangedtoaninternationalconference on Software Engineering Techniques, SET 2006, sponsored by Technical C- mittee 2 (Software: Theory and Practice) of the International Federation for Information Processing, IFIP [http: //www. i?p. org/]. In 2007 the conference got a new name: second IFIP TC2 Central and East-European Conference on So- ware Engineering Techniques, CEE-SET 2007. It took place in Poznan, Poland, and lasted for three days, from October 10 to 12, 2007 (the details are on the conference web page http: //www. cee-set. org/2007). The conference aim was to bring together software engineering researchers and practitioners, mainly from Central and East-European countries (but not only), and allow them to share their ideasandexperience. Thespecialtopicfor2007was"BalancingAgilityand Formalism in Software Engineering. " The conference was technically sponsored by: - IFIP Technical Committee 2, Software: Theory and Practice - Gesellschaft fu ]r Informatik, Special Interest Group Software Engineering - John von Neumann Computer Society (NJSZT), Hungary - Lithuanian Computer Society - Polish Academy of Sciences, Committee for Informatics - Polish Information Processing Society - Slovak Society for Computer Science Financial support was provided by IBM Software Laboratory in Krakow, MicrosoftResearch, MicrosoftPolska, PolishInformationProcessingSociety, and the XPrince Consortium. The conference program consisted of 3 keynote speeches given by Scott W.

This text combines a practical, hands-on approach to programming with the introduction of sound theoretical support focused on teaching the construction of high-quality software. A major feature of the book is the use of Design by Contract.

Bertrand Meyer

Books

Your next favorite book is out there