Bertrand Meyer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Viewpoint - Research evaluation for computer scienceBertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen. CACM, 52(4):31-34, 2009. [doi]

2008

Finding Faults: Manual Testing vs. Random+ Testing vs. User ReportsIlinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner. issre 2008: 157-166 [doi]

ARTOO: adaptive random testing for object-oriented softwareIlinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer. ICSE 2008: 71-80 [doi]

On the Predictability of Random Tests for Object-Oriented SoftwareIlinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer. icst 2008: 72-81 [doi]

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 DiscussionsBertrand Meyer, Jim Woodcock, editors, Volume 4171 of Lecture Notes in Computer Science, Springer, 2008. [doi]

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 PapersBertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter, editors, Volume 5082 of Lecture Notes in Computer Science, Springer, 2008.

The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed DevelopmentBertrand Meyer, Marco Piccioni. csee 2008: 3-16 [doi]

Compiler error messages: what can help novices?Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer. sigcse 2008: 168-172 [doi]

Proof-Transforming Compilation of Eiffel ProgramsMartin Nordio, Peter Müller, Bertrand Meyer. TOOLS 2008: 316-335 [doi]

Automatic extraction of notions from course materialMichela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer. sigcse 2008: 251-255 [doi]

Course management with TrucStudioMichela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer. iticse 2008: 260-264 [doi]

2007

Editorial Special IssueJean Bézivin, Bertrand Meyer. jot, 6(9):11, 2007. [doi]

Experimental assessment of random testing for object-oriented softwareIlinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer. ISSTA 2007: 84-94 [doi]

Celebrating 40 years of language evolution: simula 67 to the present and beyondSteven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.. OOPSLA 2007: 1021-1023 [doi]

Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised PapersYuri Gurevich, Bertrand Meyer, editors, Volume 4454 of Lecture Notes in Computer Science, Springer, 2007.

Reconciling Manual and Automated Testing: The AutoTest ExperienceAndreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard. hicss 2007: 261 [doi]

Efficient unit test case minimizationAndreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer. ASE 2007: 417-420 [doi]

Contract driven development = test driven development - writing test casesAndreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva. ESEC/FSE 2007: 425-434 [doi]

Automatic Testing of Object-Oriented SoftwareBertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu. sofsem 2007: 114-129 [doi]

Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised PapersBertrand Meyer, Mathai Joseph, editors, Volume 4716 of Lecture Notes in Computer Science, Springer, 2007.

A framework for describing and comparing courses and curriculaMichela Pedroni, Manuel Oriol, Bertrand Meyer. iticse 2007: 131-135 [doi]

IDE-integrated Support for Schema Evolution in Object-Oriented ApplicationsMarco Piccioni, Manuel Oriol, Bertrand Meyer. ECOOPW 2007: 27-36

2006

Pattern Componentization: The Factory ExampleKarine Arnout, Bertrand Meyer. isse, 2(2):65-79, 2006. [doi]

Object distance and its application to adaptive random testing of object-oriented programsIlinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer. ISSTA 2006: 55-63 [doi]

Dependable Systems: Software, Computing, Networks, Research Results of the DICS ProgramJürg Kohlas, Bertrand Meyer, André Schiper, editors, Volume 4028 of Lecture Notes in Computer Science, Springer, 2006.

Europe s computer scientists take fate into their own handsBertrand Meyer, Willy Zwaenepoel. CACM, 49(3):21-24, 2006. [doi]

Componentization: The Visitor ExampleBertrand Meyer, Karine Arnout. Computer, 39(7):23-30, 2006. [doi]

The Context of Object Computation (extended abstract)Bertrand Meyer. sefm 2006: 13-17 [doi]

The inverted curriculum in practiceMichela Pedroni, Bertrand Meyer. sigcse 2006: 481-485 [doi]

2005

Can Aspects Implement Contracts?Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer. rise 2006: 145-157 [doi]

Doing More with Contracts: Towards Automatic Tests and ProofsBertrand Meyer. rise 2006: 1 [doi]

Attached Types and Their Application to Three Open Problems of Object-Oriented ProgrammingBertrand Meyer. ECOOP 2005: 1-32 [doi]

2004

The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven DesignBertrand Meyer. BIRTHDAY 2004: 236-271 [doi]

2003

2002

Finding Implicit Contracts in .NET ComponentsKarine Arnout, Bertrand Meyer. FMCO 2003: 285-318 [doi]

In Memory of Kristen Nygaard and Ole-Johan DahlBertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen. jot, 1(4):7-15, 2002. [doi]

2001

The .NET Training CourseBertrand Meyer. Prentice-Hall, 2001.

2000

The Future of Component-Based DevelopmentBertrand Meyer. TOOLS 2000: 5 [doi]

Component-Based Development? Refining the BlueprintRoger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour. TOOLS 2000: 563 [doi]

1999

Managing By ContractBertrand Meyer. TOOLS 1999: 412 [doi]

The Unity of Software and the Power of Roundtrip EngineeringBertrand Meyer. TOOLS 1999: 3 [doi]

Component-Based Development: From Buzz to Spark - Guest Editors EntroductionBertrand Meyer, Christine Mingins. Computer, 32(7):35-37, 1999.

1998

1997

KeynotesJames Coplien, Joseph Gil, David Harel, Bertrand Meyer. TOOLS 1998: 2 [doi]

Design by Contract: The Lessons of ArianeJean-Marc Jézéquel, Bertrand Meyer. Computer, 30(1):129-130, 1997.

Object-Oriented Software Construction, 2nd EditionBertrand Meyer. Prentice-Hall, 1997.

Design by Contract: Making Object-Oriented Programs that WorkBertrand Meyer. TOOLS 1997: 360 [doi]

1996

Static TypingBertrand Meyer. isotas 1996: 57-75

Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract)Bertrand Meyer. isotas 1996: 56

1995

Where Is Software Headed? A Virtual RoundtableTed G. Lewis, Dave Power, Bertrand Meyer, Jack Grimes, Mike Potel, Ronald J. Vetter, Phillip A. Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hesham El-Rewini, Bruce W. Weide. Computer, 28(8):20-32, 1995.

Static typingBertrand Meyer. oopsm, 6(4):20-29, 1995.

Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des SoftwareprozessesBertrand Meyer. Carl Hanser Verlag, 1995.

Object SuccessBertrand Meyer. Prentice-Hall, 1995.

1994

TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, EuropeBoris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot, editors, Prentice Hall, 1994.

On the Role of Methodology: Advice to the AdvisorsBertrand Meyer. coodbse 1994: 1-5

Reusable Software: The Base Object-Oriented Component LibrariesBertrand Meyer. Prentice-Hall, 1994.

An Object-Oriented Environment: Principles and ApplicationsBertrand Meyer. Prentice-Hall, 1994.

1993

TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USARaimund K. Ege, Madhu S. Singh, Bertrand Meyer, editors, Prentice Hall, 1993.

TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, EuropeBoris Magnusson, Bertrand Meyer, Jean-François Perrot, editors, Prentice Hall, 1993.

Object-Oriented ApplicationsBertrand Meyer, Jean-Marc Nerson. Prentice-Hall, 1993.

Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992Christine Mingins, William Haebich, John Potter, Bertrand Meyer, editors, Prentice Hall, 1993.

1992

1991

Do we know how to find the classes?Bertrand Meyer. TOOLS 1991: 349-350

Eiffel: The LanguageBertrand Meyer. Prentice-Hall, 1991.

TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, AustraliaJohn Potter, Mario Tokoro, Bertrand Meyer, editors, Prentice Hall, 1991.

1990

Objektorientierte SoftwareentwicklungBertrand Meyer. Carl Hanser Verlag, 1990.

Introduction to the Theory of Programming LanguagesBertrand Meyer. Prentice-Hall, 1990.

1989

Objects in their Eyes (Panel)Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy. OOPSLA 1989: 478

1988

Object-Oriented Software Construction, 1st editonBertrand Meyer. Prentice-Hall, 1988.

Cépage: Toward computer-aided design of softwareBertrand Meyer. jss, 8(5):419-429, 1988. [doi]

1987

EIFFEL: Object-Oriented Design for Software EngineeringBertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo. ESEC/FSE 1987: 221-229

Reusability: The Case for Object-Oriented DesignBertrand Meyer. IEEE Software, 4(2):50-64, 1987.

1986

Genericity versus InheritanceBertrand Meyer. OOPSLA 1986: 391-405

1985

On Formalism in SpecificationsBertrand Meyer. IEEE Software, 2(1):6-26, 1985.

Showing Programs on a ScreenBertrand Meyer, Jean-Marc Nerson, Soon Hae Ko. SCP, 5(2):111-142, 1985.

1984

Méthodes de Programmation, 3rd editionBertrand Meyer, Claude Baudoin. Eyrolles, 1984.

1980

1978

Méthodes de Programmation, 1st editionBertrand Meyer, Claude Baudoin. Eyrolles, 1978.