Bertrand Meyer – författare
Visar alla böcker från författaren Bertrand Meyer. Handla med fri frakt och snabb leverans.
51 produkter
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
Av Jean-Michel Bruel, Manuel Mazzara m. fl.
Häftad, 2019
551 kr
Lägg i varukorg
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 …
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
Av Bertrand Meyer, Manuel Mazzara m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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 …
Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Av Manuel Mazzara, Jean-Michel Bruel m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
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 …
Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Av Alexander Petrenko, Bertrand Meyer m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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 …
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
Av Jean-Michel Bruel, Manuel Mazzara m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
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 …
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
Av Bertrand Meyer, Manuel Mazzara m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
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 …
Frontiers in Software Engineering Education
First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Av Jean-Michel Bruel, Alfredo Capozucca m. fl.
Häftad, 2020
537 kr
Lägg i varukorg
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 …
Frontiers in Software Engineering Education
First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Av Andrey Sadovykh, Alexandr Naumchev m. fl.
E-bok, 2020
690 kr
Lägg i varukorg
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 …
Handbook of Requirements and Business Analysis
Häftad, 2022
679 kr
Lägg i varukorg
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 …
Handbook of Requirements and Business Analysis
E-bok, 2022
847 kr
Lägg i varukorg
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 …
French School of Programming
Inbunden, 2024
2478 kr
Lägg i varukorg
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, …
French School of Programming
E-bok, 2024
3348 kr
Lägg i varukorg
T he 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 …
French School of Programming
Häftad, 2025
2478 kr
Lägg i varukorg
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, …
Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Av Alfredo Capozucca, Sophie Ebersold m. fl.
Häftad, 2023
590 kr
Lägg i varukorg
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 …
Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Av Bertrand Meyer, Jean-Michel Bruel m. fl.
E-bok, 2023
792 kr
Lägg i varukorg
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 …
Agile!
The Good, the Hype and the Ugly
Häftad, 2014
3,5 utav 5 stjärnor. Totalt antal röster: (2)
679 kr
Lägg i varukorg
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 …
Agile!
The Good, the Hype and the Ugly
E-bok, 2014
923 kr
Lägg i varukorg
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 …
Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Av Bertrand Meyer, Martin Nordio
Häftad, 2016
457 kr
Lägg i varukorg
TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field. Since its inception in 2004, the LASER Summer …
Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Av Martin Nordio, Bertrand Meyer
E-bok, 2016
588 kr
Lägg i varukorg
TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field. Since its inception in 2004, the LASER Summer …
Present and Ulterior Software Engineering
Av Manuel Mazzara, Bertrand Meyer
Inbunden, 2017
1128 kr
Lägg i varukorg
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 …
Present and Ulterior Software Engineering
Av Bertrand Meyer, Manuel Mazzara
E-bok, 2017
1502 kr
Lägg i varukorg
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 …
Present and Ulterior Software Engineering
Av Manuel Mazzara, Bertrand Meyer
Häftad, 2018
1128 kr
Lägg i varukorg
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 …
Dependable Systems: Software, Computing, Networks
Research Results of the DICS Program
Av Juerg Kohlas, Bertrand Meyer m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
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 …
Dependable Systems: Software, Computing, Networks
Research Results of the DICS Program
Av Andre Schiper, Bertrand Meyer m. fl.
E-bok, 2006
734 kr
Lägg i varukorg
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 …
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
Av Bertrand Meyer, Jim Woodcock
Häftad, 2008
1128 kr
Lägg i varukorg
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 …
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
Av Jim Woodcock, Bertrand Meyer
E-bok, 2008
1502 kr
Lägg i varukorg
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 …
Objects, Components, Models and Patterns
46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
Av Richard F. Paige, Bertrand Meyer
Häftad, 2008
569 kr
Lägg i varukorg
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 …
Objects, Components, Models and Patterns
46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
Av Bertrand Meyer, Richard F. Paige
E-bok, 2008
755 kr
Lägg i varukorg
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 …
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Av Bertrand Meyer, Yuri Gurevich
Häftad, 2007
569 kr
Lägg i varukorg
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 …
Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Av Yuri Gurevich, Bertrand Meyer
E-bok, 2007
755 kr
Lägg i varukorg
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 …
