Bertrand Meyer - Böcker

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

Software Technology: Methods and Tools

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

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

Frontiers in Software Engineering Education

First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Handbook of Requirements and Business Analysis

French School of Programming

French School of Programming

Frontiers in Software Engineering Education

Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers

Agile!

The Good, the Hype and the Ugly

Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Dependable Systems: Software, Computing, Networks

Research Results of the DICS Program

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

Objects, Components, Models and Patterns

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Tests and Proofs

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

Software Engineering Approaches for Offshore and Outsourced Development

First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Balancing Agility and Formalism in Software Engineering

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

Touch of Class

Learning to Program Well with Objects and Contracts

Software Engineering Approaches for Offshore and Outsourced Development

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

Objects, Components, Models and Patterns

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

Software Engineering Approaches for Offshore and Outsourced Development

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

Software Engineering Approaches for Offshore and Outsourced Development

4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

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

Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification

International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures