1992

Advances in object-oriented software engineering

New York : Prentice Hall, 1992

Request It 

2008

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 :

IFIP TC 2 Central and East European Conference on Software Engineering Techniques (2nd : 2007 : Poznań, Poland)



 

2001

Bertrand Meyer's .NET training course

Meyer, Bertrand, 1950-

Upper Saddle River, N.J. : Prentice Hall, [2001]

Request It 

2006

Dependable systems : software, computing, networks : research results of the DICS program

 

1992

Eiffel : the language

Meyer, Bertrand, 1950-

New York : Prentice Hall, 1992

Request It 

1989

Eiffel : the language

Meyer, Bertrand, 1950-
Version 2.2
Goleta, Calif. : Interactive Software Engineering, 1989

Request It 

2011

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures

 

2023

Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers

FISEE (Workshop) (2nd : 2023 : Villebrumier, France)

Cham : Springer, [2023]

 

2022

Handbook of requirements and business analysis

Meyer, Bertrand, 1950- author.

Cham : Springer, 2022

 

1988

Object-oriented software construction

Meyer, Bertrand, 1950-

New York : Prentice-Hall, [1988]

Request It 

1997

Object-oriented software construction

Meyer, Bertrand, 1950-
Second edition
Upper Saddle River, N.J. : Prentice Hall PTR, [1997]

Request It 

2008

Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings

TOOLS (Conference) (46th : 2008 : Zurich, Switzerland)

Berlin ; New York : Springer, [2008]

Request It 

2008

Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings

TOOLS (Conference) (46th : 2008 : Zurich, Switzerland)



 

2009

Objects, components, models and patterns : 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings

TOOLS (Conference) (47th : 2009 : Zurich, Switzerland)



 

2017

Present and ulterior software engineering

Cham, Switzerland : Springer, 2017

 

2007

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers

SEAFOOD 2007 (2007 : Zurich, Switzerland)



 

2009

Software engineering approaches for offshore and outsourced development : third international conference : proceedings : SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009

SEAFOOD 2009 (2009 : Zurich, Switzerland)



 

2019

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,

International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (1st : 2018 : Chateau de Villebrumier, France)

Cham, Switzerland : Springer, 2019

 

2020

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, 2

DEVOPS (Workshop) (2nd : 2019 : Château de Villebrumier, France)

Cham : Springer, 2020

 

2015

Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures

Cham : Springer, 2015

 

2019

Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings

TOOLS (Conference) (51st : 2019 : Tatarstan, Russia)

Cham, Switzerland : Springer, 2019

 

2007

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers

TAP 2007 (2007 : Zurich, Switzerland)



 

2012

Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures

LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy)



 

2009

Touch of class : learning to program well with objects and contracts

Meyer, Bertrand, 1950-



 

2008

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

VSTTE (Conference) (1st : 2005 : Zurich, Switzerland)