Bertrand Meyer

ETH Zurch

other persons with the same name:

• Bertrand Meyer 0002 - Télécom Paris Tech

	2013
j75		Bertrand Meyer: When reviews do more than sting. Commun. ACM 56(2): 8-9 (2013)
j74		Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: Design of an empirical study for comparing the usability of concurrent programming languages. Information & Software Technology 55(7): 1304-1315 (2013)
j73		Marco Piccioni, Manuel Oriol, Bertrand Meyer: Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. IEEE Trans. Software Eng. 39(2): 184-196 (2013)
c113		Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei: The search for the laws of automatic random testing. SAC 2013: 1211-1216
	2012
j72		Mark Guzdial, Bertrand Meyer: Understanding CS1 students; defective software. Commun. ACM 55(1): 14-15 (2012)
j71		Bertrand Meyer: Knowledgeable beginners. Commun. ACM 55(3): 10-11 (2012)
j70		Bertrand Meyer: Incremental research vs. paradigm-shift mania. Commun. ACM 55(9): 8-9 (2012)
j69		Benjamin Morandi, Sebastian Nanz, Bertrand Meyer: Performance analysis of SCOOP programs. Journal of Systems and Software 85(11): 2519-2530 (2012)
c112		Benjamin Morandi, Sebastian Nanz, Bertrand Meyer: Who is Accountable for Asynchronous Exceptions? APSEC 2012: 462-471
c111		Scott West, Sebastian Nanz, Bertrand Meyer: Demonic Testing of Concurrent Programs. ICFEM 2012: 478-493
c110		H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider: Agile vs. Structured Distributed Software Development: A Case Study. ICGSE 2012: 11-20
c109		Bertrand Meyer, Alexander Kogtenkov, Anton Akhi: Processors and Their Collection. MSEPT 2012: 1-15
c108		Stephan van Staden, Cristiano Calcagno, Bertrand Meyer: Freefinement. POPL 2012: 7-18
c107		Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol: C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28
e24		Bertrand Meyer, Martin Nordio (Eds.): Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7007, Springer 2012, isbn 978-3-642-25230-3
i17		Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol: Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012)
i16		Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer: What Good Are Strong Specifications? CoRR abs/1208.3337 (2012)
i15		Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei: The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012)
i14		Carlo A. Furia, Bertrand Meyer, Sergey Velder: A survey of loop invariants. CoRR abs/1211.4470 (2012)
i13		H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer: How Specifications Change and Why You Should Care. CoRR abs/1211.4775 (2012)
	2011
j68		Bertrand Meyer, Greg Linden: In support of open reviews; better teaching through large-scale data mining. Commun. ACM 54(11): 12-13 (2011)
j67		Bertrand Meyer: Steps Towards a Theory and Calculus of Aliasing. Int. J. Software and Informatics 5(1-2): 77-115 (2011)
j66		Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer: On the number and nature of faults found by random testing. Softw. Test., Verif. Reliab. 21(1): 3-28 (2011)
c106		Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol: Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297
c105		Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: Empirical assessment of languages for teaching concurrency: Methodology and application. CSEE&T 2011: 477-481
c104		Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. ESEM 2011: 325-334
c103		Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto: How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184
c102		Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer: Inferring better contracts. ICSE 2011: 191-200
c101		Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Code-based automated program fixing. ASE 2011: 392-395
c100		Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443
c99		Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398
e23		Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka (Eds.): 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. Lecture Notes in Computer Science 4980, Springer 2011, isbn 978-3-642-22385-3
i12		Benjamin Morandi, Sebastian Nanz, Bertrand Meyer: A comprehensive operational semantics of the SCOOP programming model. CoRR abs/1101.1038 (2011)
i11		Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011)
i10		Marco Piccioni, Manuel Oriol, Bertrand Meyer: Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. CoRR abs/1103.0711 (2011)
i9		Martin Nordio, Bertrand Meyer, H.-Christian Estler: Collaborative Software Development on the Web. CoRR abs/1105.0768 (2011)
i8		Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Verifying Eiffel Programs with Boogie. CoRR abs/1106.4700 (2011)
i7		Bertrand Meyer: Towards a Calculus of Object Programs. CoRR abs/1107.1999 (2011)
i6		Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011)
i5		Benjamin Morandi, Sebastian Nanz, Bertrand Meyer: Record-Replay Debugging for Concurrent SCOOP Programs. CoRR abs/1111.1170 (2011)
	2010
j65		Bertrand Meyer: Towards a theory and calculus of aliasing. Journal of Object Technology 9(2): 37-74 (2010)
c98		Carlo A. Furia, Bertrand Meyer: Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation 2010: 277-300
c97		Stephan van Staden, Cristiano Calcagno, Bertrand Meyer: Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP 2010: 151-174
c96		Scott West, Sebastian Nanz, Bertrand Meyer: A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. ICFEM 2010: 597-612
c95		Martin Nordio, Roman Mitin, Bertrand Meyer: Advanced hands-on training for distributed and outsourced software engineering. ICSE (1) 2010: 555-558
c94		Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol: Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312
c93		Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer: Deriving concurrent control software from behavioral specifications. IROS 2010: 1994-1999
c92		Michela Pedroni, Bertrand Meyer: Object-Oriented Modeling of Object-Oriented Concepts. ISSEP 2010: 155-169
c91		Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller: Automated fixing of programs with contracts. ISSTA 2010: 61-72
c90		Benjamin Morandi, Sebastian Nanz, Bertrand Meyer: A Formal Reference for SCOOP. LASER Summer School 2010: 89-157
c89		Yi Wei, Bertrand Meyer, Manuel Oriol: Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212
c88		Bertrand Meyer: Automatic Testing and Fixing for Eiffel - (Extended Abstract). TAIC PART 2010: 1-4
c87		Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96
c86		Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer: Specifying Reusable Components. VSTTE 2010: 127-141
e22		Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov (Eds.): Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings. Lecture Notes in Business Information Processing 54, Springer 2010, isbn 978-3-642-13783-9
i4		Bertrand Meyer: The theory and calculus of aliasing. CoRR abs/1001.1610 (2010)
i3		Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer: Specifying Reusable Components. CoRR abs/1003.5777 (2010)
i2		Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages. CoRR abs/1011.6047 (2010)
	2009
b17		Bertrand Meyer: Touch of Class - Learning to Program Well with Objects and Contracts. Springer 2009, isbn 978-3-540-92144-8, pp. I-LXIV, 1-876
b16		Bertrand Meyer: Touch of Class: Learning to Program Well with Objects and Contracts. Springer 2009, isbn 978-3-540-92144-8
j64		Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)
j63		Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf: Programs That Test Themselves. IEEE Computer 42(9): 46-55 (2009)
j62		Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff: Contracts for concurrency. Formal Asp. Comput. 21(4): 305-318 (2009)
j61		Gerald D. Everett, Bertrand Meyer: Point/Counterpoint. IEEE Software 26(4): 62-65 (2009)
c85		Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol: On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425
c84		Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer: A comparative study of programmer-written and automatically inferred contracts. ISSTA 2009: 93-104
c83		Valentin Dallmeier, Andreas Zeller, Bertrand Meyer: Generating Fixes from Object Behavior Anomalies. ASE 2009: 550-554
c82		Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider: An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE 2009: 650-654
c81		Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli: The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
c80		Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
e21		Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio (Eds.): Software Engineering Approaches for Offshore and Outsourced Development, Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers. Lecture Notes in Business Information Processing 16, Springer 2009, isbn 978-3-642-01855-8
e20		Olly Gotel, Mathai Joseph, Bertrand Meyer (Eds.): Software Engineering Approaches for Offshore and Outsourced Development, Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Business Information Processing 35, Springer 2009, isbn 978-3-642-02986-8
e19		Manuel Oriol, Bertrand Meyer (Eds.): Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, isbn 978-3-642-02570-9
i1		Carlo A. Furia, Bertrand Meyer: Inferring Loop Invariants using Postconditions. CoRR abs/0909.0884 (2009)
	2008
j60		Bertrand Meyer: Design and code reviews in the age of the internet. Commun. ACM 51(9): 66-71 (2008)
j59		Bertrand Meyer: Seven Principles of Software Testing. IEEE Computer 41(8): 99-101 (2008)
j58		Till G. Bay, Michela Pedroni, Bertrand Meyer: By students, for students: a production-quality multimedia library and its application to game-based teaching. Journal of Object Technology 7(1): 147-159 (2008)
c79		Bertrand Meyer, Marco Piccioni: The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. CSEE&T 2008: 3-16
c78		Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer: ARTOO: adaptive random testing for object-oriented software. ICSE 2008: 71-80
c77		Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer: On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81
c76		Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166
c75		Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer: Course management with TrucStudio. ITiCSE 2008: 260-264
c74		Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer: SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90
c73		Bertrand Meyer: Design and Code Reviews in the Age of the Internet. SEAFOOD 2008: 126-133
c72		Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer: Compiler error messages: what can help novices? SIGCSE 2008: 168-172
c71		Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer: Automatic extraction of notions from course material. SIGCSE 2008: 251-255
c70		Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
e18		Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (Eds.): 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. Lecture Notes in Computer Science 5082, Springer 2008, isbn 978-3-540-85278-0
e17		Richard F. Paige, Bertrand Meyer (Eds.): Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, isbn 978-3-540-69823-4
e16		Bertrand Meyer, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 4171, Springer 2008, isbn 978-3-540-69147-1
	2007
j57		Jean Bézivin, Bertrand Meyer: Editorial Special Issue. Journal of Object Technology 6(9): 11 (2007)
c69		Marco Piccioni, Manuel Oriol, Bertrand Meyer: IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE 2007: 27-36
c68		Bertrand Meyer: Contract-Driven Development. FASE 2007: 11
c67		Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard: Reconciling Manual and Automated Testing: The AutoTest Experience. HICSS 2007: 261
c66		Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer: Experimental assessment of random testing for object-oriented software. ISSTA 2007: 84-94
c65		Michela Pedroni, Manuel Oriol, Bertrand Meyer: A framework for describing and comparing courses and curricula. ITiCSE 2007: 131-135
c64		Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer: Efficient unit test case minimization. ASE 2007: 417-420
c63		Bertrand Meyer: Proving What Programs Do Not. MEMOCODE 2007: 135
c62		Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.: Celebrating 40 years of language evolution: simula 67 to the present and beyond. OOPSLA Companion 2007: 1021-1023
c61		Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva: Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE 2007: 425-434
c60		Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu: Automatic Testing of Object-Oriented Software. SOFSEM (1) 2007: 114-129
c59		Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller: Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. TAP 2007: 114-130
e15		Bertrand Meyer, Mathai Joseph (Eds.): Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Lecture Notes in Computer Science 4716, Springer 2007, isbn 978-3-540-75541-8
e14		Yuri Gurevich, Bertrand Meyer (Eds.): Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454, Springer 2007, isbn 978-3-540-73769-8
	2006
j56		Bertrand Meyer, Willy Zwaenepoel: Europe's computer scientists take fate into their own hands. Commun. ACM 49(3): 21-24 (2006)
j55		Bertrand Meyer: The Unspoken Revolution in Software Engineering. IEEE Computer 39(1): 121-124 (2006)
j54		Bertrand Meyer: Testable, Reusable Units of Cognition. IEEE Computer 39(4): 20-24 (2006)
j53		Bertrand Meyer, Karine Arnout: Componentization: The Visitor Example. IEEE Computer 39(7): 23-30 (2006)
j52		Karine Arnout, Bertrand Meyer: Pattern Componentization: The Factory Example. ISSE 2(2): 65-79 (2006)
c58		Bertrand Meyer: Dependable Software. Research Results of the DICS Program 2006: 1-33
c57		Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer: Object distance and its application to adaptive random testing of object-oriented programs. Random Testing 2006: 55-63
c56		Bertrand Meyer: The Context of Object Computation (extended abstract). SEFM 2006: 13-17
c55		Michela Pedroni, Bertrand Meyer: The inverted curriculum in practice. SIGCSE 2006: 481-485
e13		Jürg Kohlas, Bertrand Meyer, André Schiper (Eds.): Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Lecture Notes in Computer Science 4028, Springer 2006, isbn 3-540-36821-3
	2005
c54		Bertrand Meyer: Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. ECOOP 2005: 1-32
c53		Bertrand Meyer: Doing More with Contracts: Towards Automatic Tests and Proofs. RISE 2005: 1
c52		Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer: Can Aspects Implement Contracts?. RISE 2005: 145-157
c51		Bertrand Meyer: Eiffel as a Framework for Verification. VSTTE 2005: 301-307
	2004
c50		Bertrand Meyer: The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Essays in Memory of Ole-Johan Dahl 2004: 236-271
c49		Bernd Schoeller, Tobias Widmer, Bertrand Meyer: Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70
	2003
j51		Karine Arnout, Bertrand Meyer: Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. L'OBJET 9(1-2): 17-30 (2003)
j50		Karine Arnout, Bertrand Meyer: Uncovering Hidden Contracts: The .NET Example. IEEE Computer 36(11): 48-55 (2003)
j49		Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer: Concurrent object-oriented programming on .NET. IEE Proceedings - Software 150(5): 308-314 (2003)
j48		Bertrand Meyer: Proving Pointer Program Properties. Part 1: The Overall Object Structure. Journal of Object Technology 2(1): 77-100 (2003)
j47		Bertrand Meyer: Proving Pointer Program Properties. Part 1: Context and overview. Journal of Object Technology 2(2): 87-108 (2003)
j46		Bertrand Meyer: On an open issue of programming language phonetics. Journal of Object Technology 2(2): 109-110 (2003)
j45		Bertrand Meyer: Proving Pointer Program Properties. Part 2: The Overall Object Structure. Journal of Object Technology 2(3): 77-100 (2003)
c48		Bertrand Meyer: Blueprint for Real Progress in Software Engineering. APSEC 2003: 3
c47		Bertrand Meyer: A Framework for Proving Contract-Equipped Classes. Abstract State Machines 2003: 108-125
c46		Bertrand Meyer: The Outside-In Method of Teaching Introductory Programming. Ershov Memorial Conference 2003: 66-78
c45		Bertrand Meyer: The Grand Challenge of Trusted Components. ICSE 2003: 660-667
c44		Bertrand Meyer: Towards Practical Proofs of Class Correctness. ZB 2003: 359-387
	2002
j44		Bertrand Meyer: Assessing a C# Text. IEEE Computer 35(4): 86-88 (2002)
j43		Bertrand Meyer: The Start of an Eiffel Standard. Journal of Object Technology 1(2): 95-99 (2002)
j42		Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen: In Memory of Kristen Nygaard and Ole-Johan Dahl. Journal of Object Technology 1(4): 7-15 (2002)
c43		Karine Arnout, Bertrand Meyer: Finding Implicit Contracts in .NET Components. FMCO 2002: 285-318
	2001
b15		Bertrand Meyer: The .NET Training Course. Prentice-Hall 2001, isbn 0-13-033115-5
j41		Bertrand Meyer: Software Engineering in the Academy. IEEE Computer 34(5): 28-35 (2001)
j40		Bertrand Meyer: .NET Is Coming. IEEE Computer 34(8): 92-97 (2001)
c42		Bertrand Meyer: At the Edge of Design by Contract. TOOLS (38) 2001: 3
c41		Bertrand Meyer: Open Problems in Object-Oriented Programming. TOOLS (39) 2001: 8
c40		Tanit Talbi, Bertrand Meyer, Emmanuel Stapf: A Metric Framework for Object-Oriented Development. TOOLS (39) 2001: 164-172
c39		Bertrand Meyer: Concurrent Object-Oriented Programming. TOOLS (38) 2001: 203
c38		Bertrand Meyer: Building Trusted Components. TOOLS (39) 2001: 347
	2000
c37		Bertrand Meyer: The Future of Component-Based Development. TOOLS (33) 2000: 5
c36		Bertrand Meyer: Programming with Agents: Combining O-O and Functional Techniques. TOOLS (33) 2000: 460
c35		Bertrand Meyer: Agent-Based Programming In Eiffel. TOOLS (34) 2000: 477-478
c34		Bertrand Meyer: Design By Contract and the Component Revolution. TOOLS (34) 2000: 515-518
c33		Roger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour: Component-Based Development? Refining the Blueprint. TOOLS (34) 2000: 563-
e12		Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer (Eds.): TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA. IEEE Computer Society 2000, isbn 0-7695-0774-3
	1999
j39		Bertrand Meyer: On To Components. IEEE Computer 32(1): 139-140 (1999)
j38		Bertrand Meyer, Christine Mingins: Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction. IEEE Computer 32(7): 35-37 (1999)
j37		Bertrand Meyer: Every Little Bit Counts: Toward More Reliable Software. IEEE Computer 32(11): 131-133 (1999)
j36		Bertrand Meyer: A Really Good Idea. IEEE Computer 32(12): 144-147 (1999)
j35		Bertrand Meyer: Design by Contract, Components and Debugging. JOOP 11(8): 75-79 (1999)
c32		Bertrand Meyer: The Unity of Software and the Power of Roundtrip Engineering. TOOLS (29) 1999: 2
c31		Bertrand Meyer: The Unity of Software and the Power of Roundtrip Engineering. TOOLS (30) 1999: 3
c30		Bertrand Meyer: Seamless Development with the Eiffel Method. TOOLS (29) 1999: 397
c29		Bertrand Meyer: Managing By Contract. TOOLS (30) 1999: 412
e11		Donald Firesmith, Richard Riehle, Gilda Pour, Bertrand Meyer (Eds.): TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA. IEEE Computer Society 1999, isbn 0-7695-0278-4
	1998
j34		Bertrand Meyer, Christine Mingins, Heinz W. Schmidt: Providing Trusted Components to the Industry. IEEE Computer 31(5): 104-105 (1998)
j33		Bertrand Meyer: Tell Less, Say More: The Power of Implicitness. IEEE Computer 31(7): 97-98 (1998)
j32		Bertrand Meyer: The Role of Object-Oriented Metrics. IEEE Computer 31(11): 123-125 (1998)
j31		Bertrand Meyer: The Future of Object Technology. IEEE Computer 31: 140-141 (1998)
j30		Bertrand Meyer: The Component Combinator for Enterprise Applications. JOOP 10(8): 5-9 (1998)
j29		Christopher Creel, Bertrand Meyer: Is Object Technology Ready for the Embedded World? JOOP 11(1): 69-71, 76 (1998)
j28		Bertrand Meyer: Approaches to Portability. JOOP 11(4): 68-70 (1998)
j27		Bertrand Meyer: The Power of Round-Trip Engineering. JOOP 11(6): 93-95 (1998)
j26		Bertrand Meyer: Free EiffelBase: Eiffel Libraries Go Open Source. JOOP 11(7): 8-10, 17 (1998)
j25		Bertrand Meyer: Prelude to a Theory of Void. JOOP 11(7): 36-48 (1998)
c28		Bertrand Meyer: Can We Make Componentware Succeed? TOOLS (26) 1998: 3
c27		Bertrand Meyer: Design by Contract: The Eiffel Method. TOOLS (26) 1998: 446
c26		Bertrand Meyer: Panel: Issues in Moving to a Component-Based Industry. TOOLS (26) 1998: 493
e10		Christine Mingins, Bertrand Meyer (Eds.): TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia. IEEE Computer Society 1998, isbn 0-7695-0053-6
	1997
b14		Bertrand Meyer: Object-Oriented Software Construction, 2nd Edition. Prentice-Hall 1997, isbn 0-13-629155-4
j24		Jean-Marc Jézéquel, Bertrand Meyer: Design by Contract: The Lessons of Ariane. IEEE Computer 30(1): 129-130 (1997)
j23		Bertrand Meyer: Practice To Perfect: The Quality First Model. IEEE Computer 30(5): 102-106 (1997)
j22		Bertrand Meyer: The Next Software Breakthrough. IEEE Computer 30(7): 113-114 (1997)
j21		Christopher Creel, Bertrand Meyer, Philippe Stephan: The Opportunity of a Millennium. IEEE Computer 30(11): 137-138 (1997)
j20		Bertrand Meyer: Ten Years After. JOOP 10(4): 8-12 (1997)
c25		James Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2
c24		Bertrand Meyer: Design by Contract: Making Object-Oriented Programs that Work. TOOLS (25) 1997: 360
	1996
j19		Bertrand Meyer: The Conceptual Perspective. IEEE Computer 29(1): 86-88 (1996)
j18		Bertrand Meyer: The Reusability Challenge. IEEE Computer 29(2): 76-78 (1996)
j17		Bertrand Meyer: The many faces of inheritance: a taxonomy of taxonomy. IEEE Computer 29(5): 105-108 (1996)
j16		Bertrand Meyer: Schema Evolution: Concepts, Terminology, and Solutions. IEEE Computer 29(10): 119-121 (1996)
j15		Bertrand Meyer: Why Your next Project Should use Eiffel. JOOP 9(2): 59-63, 82 (1996)
c23		Bertrand Meyer: Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract). ISOTAS 1996: 56
c22		Bertrand Meyer: Static Typing. ISOTAS 1996: 57-75
	1995
b13		Bertrand Meyer: Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses. Carl Hanser Verlag 1995, isbn 3-446-18697-2
b12		Bertrand Meyer: Object Success. Prentice-Hall 1995
j14		Ted 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: Where Is Software Headed? A Virtual Roundtable. IEEE Computer 28(8): 20-32 (1995)
j13		Bertrand Meyer: Static typing. OOPS Messenger 6(4): 20-29 (1995)
	1994
b11		Bertrand Meyer: An Object-Oriented Environment: Principles and Applications. Prentice-Hall 1994, isbn 0-13-245507-2
b10		Bertrand Meyer: Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall 1994, isbn 0-13-245499-8
c21		Bertrand Meyer: On the Role of Methodology: Advice to the Advisors. COODBSE 1994: 1-5
c20		Bertrand Meyer: Keynote: Uses and Misuses of Inheritance. TOOLS (13) 1994: 9
c19		Bertrand Meyer: Library Design. TOOLS (13) 1994: 519
e9		Boris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot (Eds.): TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1994, isbn 0-13-350539-1
	1993
b9		Bertrand Meyer, Jean-Marc Nerson: Object-Oriented Applications. Prentice-Hall 1993
j12		Bertrand Meyer: Systematic Concurrent Object-Oriented Programming. Commun. ACM 36(9): 56-80 (1993)
c18		Bertrand Meyer: Object-Oriented Management. TOOLS (10) 1993: 289
c17		Bertrand Meyer: Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 325
c16		Bertrand Meyer: Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 523-576
c15		Bertrand Meyer: Systematic Concurrent Object-Oriented Programming. TOOLS (11) 1993: 553
c14		Bertrand Meyer: Towards an Object-Oriented Curriculum. TOOLS (11) 1993: 585-594
e8		Boris Magnusson, Bertrand Meyer, Jean-François Perrot (Eds.): TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1993, isbn 0-13-097114-6
e7		Raimund K. Ege, Madhu S. Singh, Bertrand Meyer (Eds.): TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1993, isbn 0-13-103979-2
e6		Christine Mingins, William Haebich, John Potter, Bertrand Meyer (Eds.): 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 1992. Prentice Hall 1993, isbn 0-13-124512-0
	1992
j11		Bertrand Meyer: Applying "Design by Contract". IEEE Computer 25(10): 40-51 (1992)
c13		Bertrand Meyer: Eiffel: Version 3 and beyond. Eiffel 1992: 5
c12		David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian: OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91
c11		Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer: Ensuring Semantic Integrity of Reusable Objects (Panel). OOPSLA 1992: 298-302
c10		Bertrand Meyer: Object-Oriented Management. TOOLS (8) 1992: 254
e5		Georg Heeg, Boris Magnusson, Bertrand Meyer (Eds.): TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe. Prentice Hall 1992, isbn 0-13-917436-2
e4		Raimund K. Ege, Madhu S. Singh, Bertrand Meyer (Eds.): TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1992, isbn 0-13-042441-2
	1991
b8		Bertrand Meyer: Eiffel: The Language. Prentice-Hall 1991, isbn 0-13-247925-7
c9		Bertrand Meyer: Do we know how to find the classes? TOOLS (5) 1991: 349-350
c8		Bertrand Meyer: Re-engineering software by isolating abstractions. TOOLS (5) 1991: 369-370
e3		Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer (Eds.): TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1991, isbn 0-13-923178-1
e2		John Potter, Mario Tokoro, Bertrand Meyer (Eds.): TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. Prentice Hall 1991, isbn 0-13-926940-1
	1990
b7		Bertrand Meyer: Objektorientierte Softwareentwicklung. Carl Hanser Verlag 1990, isbn 3-446-15773-5
b6		Bertrand Meyer: Introduction to the Theory of Programming Languages. Prentice-Hall 1990, isbn 0-13-498510-9
j10		Bertrand Meyer: Lessons from the Design of the Eiffel Libraries. Commun. ACM 33(9): 68-88 (1990)
	1989
b5		Bertrand Meyer: Eiffel - the environment Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-VII, 1-118
b4		Bertrand Meyer: Eiffel - the libraries Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-XI, 1-373
j9		Bertrand Meyer: From Structured Programming to Object-Oriented Design: The Road to Eiffel. Structured Programming 10(1): 19-39 (1989)
c7		Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy: Objects in their Eyes (Panel). OOPSLA 1989: 478
	1988
b3		Bertrand Meyer: Object-Oriented Software Construction, 1st edition. Prentice-Hall 1988, isbn 0-13-629031-0
j8		Bertrand Meyer: Eiffel: A language and environment for software engineering. Journal of Systems and Software 8(3): 199-246 (1988)
j7		Bertrand Meyer: Cépage: Toward computer-aided design of software. Journal of Systems and Software 8(5): 419-429 (1988)
e1		Tan Chin Nam, Larry E. Druffel, Bertrand Meyer (Eds.): Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988. IEEE Computer Society 1988, isbn 0-8186-0849-8
	1987
j6		Bertrand Meyer: Reusability: The Case for Object-Oriented Design. IEEE Software 4(2): 50-64 (1987)
c6		Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo: EIFFEL: Object-Oriented Design for Software Engineering. ESEC 1987: 221-229
	1986
c5		Bertrand Meyer: Genericity versus Inheritance. OOPSLA 1986: 391-405
	1985
j5		Bertrand Meyer: Incremental String Matching. Inf. Process. Lett. 21(5): 219-227 (1985)
j4		Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko: Showing Programs on a Screen. Sci. Comput. Program. 5(2): 111-142 (1985)
j3		Bertrand Meyer: On Formalism in Specifications. IEEE Software 2(1): 6-26 (1985)
c4		Bertrand Meyer: The Software Knowledge Base. ICSE 1985: 158-165
	1984
b2		Bertrand Meyer, Claude Baudoin: Méthodes de Programmation, 3rd edition. Eyrolles 1984
	1982
j2		Bertrand Meyer: Principles of Package Design. Commun. ACM 25(7): 419-428 (1982)
	1980
p1		Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer: Specification Language. On the Construction of Programs 1980: 343-410
c3		Bertrand Meyer: A Basis for the Constructive Approach to Programming. IFIP Congress 1980: 293-298
c2		John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix: Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82
c1		Bertrand Meyer: A Three-Level Approach to the Description of Data Structures, and Notational Framework. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 164-166
	1978
b1		Bertrand Meyer, Claude Baudoin: Méthodes de Programmation, 1st edition. Eyrolles 1978
j1		Bertrand Meyer: A Note on Computing Multiple Sums. Softw., Pract. Exper. 8(1): 3-9 (1978)

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 20:50:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page