Bertrand Meyer – författare
Visar alla böcker från författaren Bertrand Meyer. Handla med fri frakt och snabb leverans.
27 produkter
27 produkter
Del 11350 - Lecture Notes in Computer Science
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Häftad, Engelska, 2019
535 kr
Skickas inom 10-15 vardagar
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.
Del 11771 - Lecture Notes in Computer Science
Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Häftad, Engelska, 2019
551 kr
Skickas inom 10-15 vardagar
?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.
Del 12055 - Lecture Notes in Computer Science
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers
Häftad, Engelska, 2020
551 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier, France, in May 2019.The 15 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover a wide range of problems arising from DevOps and related approaches: current tools, rapid development-deployment processes, modeling frameworks, anomaly detection in software releases, DevDataOps, microservices, and related topics.
Del 12271 - Lecture Notes in Computer Science
Frontiers in Software Engineering Education
First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Häftad, Engelska, 2020
520 kr
Skickas inom 10-15 vardagar
This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference.FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.
660 kr
Skickas inom 10-15 vardagar
Meyer’s Handbook of Requirements and Business Analysis is a comprehensive treatise providing the reader with all the principles and techniques necessary to produce effective requirements. Even the best design, implementation and verification are worthless if they are the solution to the wrong problem.
2 401 kr
Skickas inom 10-15 vardagar
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions.This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… — and in the insights of a brilliant group of innovators in the field.
2 401 kr
Skickas inom 10-15 vardagar
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions.This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… — and in the insights of a brilliant group of innovators in the field.
Del 14387 - Lecture Notes in Computer Science
Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Häftad, Engelska, 2023
572 kr
Skickas inom 10-15 vardagar
This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023.The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education.FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.
660 kr
Skickas inom 10-15 vardagar
Here is the ideal introduction to agile development. The book details agile principles, roles, managerial practices, technical practices and artifacts, offering a complete review that will help readers master all the important agile ideas.
Del 8987 - Lecture Notes in Computer Science
Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Häftad, Engelska, 2016
443 kr
Skickas inom 10-15 vardagar
Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lecture notes from the 10th LASER Summer School on SoftwareEngineering: Leading-Edge Software Engineering.
1 095 kr
Skickas inom 10-15 vardagar
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
1 095 kr
Skickas inom 10-15 vardagar
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
Dependable Systems: Software, Computing, Networks
Research Results of the DICS Program
Häftad, Engelska, 2006
551 kr
Skickas inom 10-15 vardagar
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology.The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.
Verified Software: Theories, Tools, Experiments
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Häftad, Engelska, 2008
1 095 kr
Skickas inom 10-15 vardagar
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.
Del 11 - Lecture Notes in Business Information Processing
Objects, Components, Models and Patterns
46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
Häftad, Engelska, 2008
551 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS 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 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.
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Häftad, Engelska, 2007
551 kr
Skickas inom 10-15 vardagar
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using different kinds of techniques and tools. Dijkstra’s famous pronouncement that tests can only show the presence of errors — in retrospect, perhaps one of the best advertisements one can imagine for testing, as if “only” finding bugs were not already a momentous achievement! — didn’t help make testing popular with provers, or proofs attractive to testers. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking was one of the first signs that apparent contradiction may yield to complementarity; in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer.
Software Engineering Approaches for Offshore and Outsourced Development
First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers
Häftad, Engelska, 2007
551 kr
Skickas inom 10-15 vardagar
SEAFOOD for Thought Headline-grabbing though it may be, the software industry’s large-scale allo- tion of work to developing countries has not so far generated much technical analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di?erent. We recognize that o?shore development is here to stay, and not just a result of cost considerations. It is – more accurately – a form of distributed development, relying on advances in communications to let the software industry, in our globalizedworld,bene?t from the wide distribution of human talent. But it is also the source of a new set of challenges, to which accepted software engineering principles and techniques have not completely prepared us. Producing high-quality software on time and within budget is hard enough when the QA team is across the aisle from the core developers, and the customers across the street; what then when the bulk of the development team is across an ocean or two? The ?rst SEAFOOD – Software Engineering Advances For Outsourced and 1 O?shore Development – conference (prompted by an earlier article ) was an - tempt not only to bring software engineering to outsourcing but also to bring outsourcing into the collective consciousness of the software engineering c- munity. This is bene?cial to both sides: successful outsourcing requires strong softwareengineering guidance, but researchin the ?eld must for its part account forthenewworldofsoftwaredevelopment.
551 kr
Skickas inom 10-15 vardagar
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.
660 kr
Skickas inom 10-15 vardagar
From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding.
Del 16 - Lecture Notes in Business Information Processing
Software Engineering Approaches for Offshore and Outsourced Development
Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers
Häftad, Engelska, 2009
551 kr
Skickas inom 10-15 vardagar
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.
Del 33 - Lecture Notes in Business Information Processing
Objects, Components, Models and Patterns
47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings
Häftad, Engelska, 2009
551 kr
Skickas inom 10-15 vardagar
For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. They constitute a particularly important forum for software researchers and practitioners to present work that relies on producing tools. This year's TOOLS continued the tradition and presented a strong program thatincluded originalcontributionsin allmajor?elds ofthe object-orientedp- adigm. As in TOOLS 2008, the concept of model occupied a considerable place; but other topics such as re?ection,aspects, modelling languages,debugging,and virtual machines design were also strongly represented. While most conferences had a decrease in the number of submitted papers, TOOLS made the choice of quality and decided to lower its acceptance rate to 25%,asa ?xedmaximumannouncedin the Callfor Papers.Out of67submitted contributions, the reviewing process led to the selection of 17 as full papers. For the ?rst time, two short papers were also accepted for presentation at the conference.
Del 35 - Lecture Notes in Business Information Processing
Software Engineering Approaches for Offshore and Outsourced Development
Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Häftad, Engelska, 2009
551 kr
Skickas inom 10-15 vardagar
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.
Software Engineering Approaches for Offshore and Outsourced Development
4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings
Häftad, Engelska, 2010
551 kr
Skickas inom 10-15 vardagar
Today's software production is increasingly distributed. Gone are the days of one-company,one-siteprojects;mostindustrialdevelopmentsinvolveteamssplit over locations, countries, and cultures. This distribution poses new challenges, for example, how to develop the software requirements speci?cation, and how to manage the project. These challenges are formidable; many failures have been reportedinoutsourcedanddistributedprojects,oftenduenottolackoftechnical expertise, but to di?culties in management and communication. SEAFOOD 2010, the fourth international conference on Software Engine- ing Advances For Outsourced and O?shore Development, was held in Peterhof (SaintPetersburg),Russia,on17-18June2010.SEAFOOD2010providedan- portunity for participants from academia and industry to confront experiences, ideas and proposals. The submissions received covered a wide range of topics, from country-wide reports from Russia and Argentina to global projectmana- ment. This volume includes 8 papers (4 full papers and 4 short papers) from the conference, selected after review by the Program Committee.The program also included two keynote presentations and the extended abstracts are included in this volume: "A Smarter Way: The Software Engineering Method and Theory Initiative (Semat)", by Ivar Jacobson, and "The Consortium for IT Software Quality", by Richard Mark Soley and Bill Curtis. Many people contributed to SEAFOOD 2010. We thank the Program C- mittee and the external reviewers for their excellent work in reviewing and - lecting the papers. The role of Andrei Voronkov's EasyChair conference system is gratefully acknowledged.
Software Engineering Techniques
Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
Häftad, Engelska, 2011
551 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design, modeling, software product lines, code generation, project management, and quality.
Empirical Software Engineering and Verification
International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Häftad, Engelska, 2012
551 kr
Skickas inom 10-15 vardagar
Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.
Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Häftad, Engelska, 2012
508 kr
Skickas inom 10-15 vardagar
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
660 kr
Skickas inom 10-15 vardagar
From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding.