 | 2010 |
|---|
| 184 |       | Michela Pedroni,
Bertrand Meyer:
Object-Oriented Modeling of Object-Oriented Concepts.
ISSEP 2010: 155-169 |
| 183 | | Bertrand Meyer:
The theory and calculus of aliasing
CoRR abs/1001.1610: (2010) |
| 2009 |
|---|
| 182 | | Kay Berkling,
Mathai Joseph,
Bertrand Meyer,
Martin Nordio:
Software Engineering Approaches for Offshore and Outsourced Development, Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
Springer 2009 |
| 181 | | Manuel Oriol,
Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings
Springer 2009 |
| 180 | | Olly Gotel,
Mathai Joseph,
Bertrand Meyer:
Software Engineering Approaches for Offshore and Outsourced Development, Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Springer 2009 |
| 179 | | Valentin Dallmeier,
Andreas Zeller,
Bertrand Meyer:
Generating Fixes from Object Behavior Anomalies.
ASE 2009: 550-554 |
| 178 | | Marco Piccioni,
Manuel Oriol,
Bertrand Meyer,
Teseo Schneider:
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.
ASE 2009: 650-654 |
| 177 | | Andreas Leitner,
Alexander Pretschner,
Stefan Mori,
Bertrand Meyer,
Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead.
ICST 2009: 416-425 |
| 176 | | Nadia Polikarpova,
Ilinca Ciupa,
Bertrand Meyer:
A comparative study of programmer-written and automatically inferred contracts.
ISSTA 2009: 93-104 |
| 175 | | Martin Nordio,
Roman Mitin,
Bertrand Meyer,
Carlo Ghezzi,
Elisabetta Di Nitto,
Giordano Tamburrelli:
The Role of Contracts in Distributed Development.
SEAFOOD 2009: 117-129 |
| 174 | | Martin Nordio,
Cristiano Calcagno,
Peter Müller,
Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel.
TOOLS (47) 2009: 195-214 |
| 173 | | Carlo A. Furia,
Bertrand Meyer:
Inferring Loop Invariants using Postconditions
CoRR abs/0909.0884: (2009) |
| 172 | | Bertrand Meyer,
Christine Choppy,
Jørgen Staunstrup,
Jan van Leeuwen:
Viewpoint - Research evaluation for computer science.
Commun. ACM 52(4): 31-34 (2009) |
| 171 | | Piotr Nienaltowski,
Bertrand Meyer,
Jonathan S. Ostroff:
Contracts for concurrency.
Formal Asp. Comput. 21(4): 305-318 (2009) |
| 170 | | Bertrand Meyer,
Arno Fiva,
Ilinca Ciupa,
Andreas Leitner,
Yi Wei,
Emmanuel Stapf:
Programs That Test Themselves.
IEEE Computer 42(9): 46-55 (2009) |
| 169 | | Gerald D. Everett,
Bertrand Meyer:
Point/Counterpoint.
IEEE Software 26(4): 62-65 (2009) |
| 2008 |
|---|
| 168 |  | Richard F. Paige,
Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Springer 2008 |
| 167 | | Bertrand Meyer,
Jim Woodcock:
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
Springer 2008 |
| 166 | | Bertrand Meyer,
Jerzy R. Nawrocki,
Bartosz Walter:
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
Springer 2008 |
| 165 | | 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 |
| 164 | | Ilinca Ciupa,
Andreas Leitner,
Manuel Oriol,
Bertrand Meyer:
ARTOO: adaptive random testing for object-oriented software.
ICSE 2008: 71-80 |
| 163 | | Ilinca Ciupa,
Alexander Pretschner,
Andreas Leitner,
Manuel Oriol,
Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software.
ICST 2008: 72-81 |
| 162 | | Ilinca Ciupa,
Bertrand Meyer,
Manuel Oriol,
Alexander Pretschner:
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.
ISSRE 2008: 157-166 |
| 161 | | Michela Pedroni,
Manuel Oriol,
Bertrand Meyer,
Enrico Albonico,
Lukas Angerer:
Course management with TrucStudio.
ITiCSE 2008: 260-264 |
| 160 | | Bertrand Meyer:
Design and Code Reviews in the Age of the Internet.
SEAFOOD 2008: 126-133 |
| 159 | | Marie-Hélène Nienaltowski,
Michela Pedroni,
Bertrand Meyer:
Compiler error messages: what can help novices?
SIGCSE 2008: 168-172 |
| 158 | | Michela Pedroni,
Manuel Oriol,
Bertrand Meyer,
Lukas Angerer:
Automatic extraction of notions from course material.
SIGCSE 2008: 251-255 |
| 157 | | Martin Nordio,
Peter Müller,
Bertrand Meyer:
Proof-Transforming Compilation of Eiffel Programs.
TOOLS (46) 2008: 316-335 |
| 156 | | Bertrand Meyer:
Design and code reviews in the age of the internet.
Commun. ACM 51(9): 66-71 (2008) |
| 155 | | Bertrand Meyer:
Seven Principles of Software Testing.
IEEE Computer 41(8): 99-101 (2008) |
| 2007 |
|---|
| 154 | | Yuri Gurevich,
Bertrand Meyer:
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Springer 2007 |
| 153 | | Bertrand Meyer,
Mathai Joseph:
Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
Springer 2007 |
| 152 | | Andreas Leitner,
Manuel Oriol,
Andreas Zeller,
Ilinca Ciupa,
Bertrand Meyer:
Efficient unit test case minimization.
ASE 2007: 417-420 |
| 151 | | 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 |
| 150 | | Bertrand Meyer:
Contract-Driven Development.
FASE 2007: 11 |
| 149 | | Andreas Leitner,
Ilinca Ciupa,
Bertrand Meyer,
Mark Howard:
Reconciling Manual and Automated Testing: The AutoTest Experience.
HICSS 2007: 261 |
| 148 | | Ilinca Ciupa,
Andreas Leitner,
Manuel Oriol,
Bertrand Meyer:
Experimental assessment of random testing for object-oriented software.
ISSTA 2007: 84-94 |
| 147 | | Michela Pedroni,
Manuel Oriol,
Bertrand Meyer:
A framework for describing and comparing courses and curricula.
ITiCSE 2007: 131-135 |
| 146 | | Bertrand Meyer:
Proving What Programs Do Not.
MEMOCODE 2007: 135 |
| 145 | | 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 |
| 144 | | Marco Piccioni,
Manuel Oriol,
Bertrand Meyer:
IDE-integrated Support for Schema Evolution in Object-Oriented Applications.
RAM-SE 2007: 27-36 |
| 143 | | Bertrand Meyer,
Ilinca Ciupa,
Andreas Leitner,
Lisa Ling Liu:
Automatic Testing of Object-Oriented Software.
SOFSEM (1) 2007: 114-129 |
| 142 | | Lisa (Ling) Liu,
Bertrand Meyer,
Bernd Schoeller:
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.
TAP 2007: 114-130 |
| 141 | | Jean Bézivin,
Bertrand Meyer:
Editorial Special Issue.
Journal of Object Technology 6(9): 11 (2007) |
| 2006 |
|---|
| 140 | | Jürg Kohlas,
Bertrand Meyer,
André Schiper:
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program
Springer 2006 |
| 139 | | 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 |
| 138 | | Bertrand Meyer:
Dependable Software.
Research Results of the DICS Program 2006: 1-33 |
| 137 | | Bertrand Meyer:
The Context of Object Computation (extended abstract).
SEFM 2006: 13-17 |
| 136 | | Michela Pedroni,
Bertrand Meyer:
The inverted curriculum in practice.
SIGCSE 2006: 481-485 |
| 135 | | Bertrand Meyer,
Willy Zwaenepoel:
Europe's computer scientists take fate into their own hands.
Commun. ACM 49(3): 21-24 (2006) |
| 134 | | Bertrand Meyer:
The Unspoken Revolution in Software Engineering.
IEEE Computer 39(1): 121-124 (2006) |
| 133 | | Bertrand Meyer:
Testable, Reusable Units of Cognition.
IEEE Computer 39(4): 20-24 (2006) |
| 132 | | Bertrand Meyer,
Karine Arnout:
Componentization: The Visitor Example.
IEEE Computer 39(7): 23-30 (2006) |
| 131 | | Karine Arnout,
Bertrand Meyer:
Pattern Componentization: The Factory Example.
ISSE 2(2): 65-79 (2006) |
| 2005 |
|---|
| 130 | | Bertrand Meyer:
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.
ECOOP 2005: 1-32 |
| 129 | | Bertrand Meyer:
Doing More with Contracts: Towards Automatic Tests and Proofs.
RISE 2005: 1 |
| 128 | | Stephanie Balzer,
Patrick Th. Eugster,
Bertrand Meyer:
Can Aspects Implement Contracts?.
RISE 2005: 145-157 |
| 127 | | Bertrand Meyer:
Eiffel as a Framework for Verification.
VSTTE 2005: 301-307 |
| 2004 |
|---|
| 126 | | Bernd Schoeller,
Tobias Widmer,
Bertrand Meyer:
Making Specifications Complete Through Models.
Architecting Systems with Trustworthy Components 2004: 48-70 |
| 125 | | 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 |
| 2003 |
|---|
| 124 | | Bertrand Meyer:
Blueprint for Real Progress in Software Engineering.
APSEC 2003: 3 |
| 123 | | Bertrand Meyer:
A Framework for Proving Contract-Equipped Classes.
Abstract State Machines 2003: 108-125 |
| 122 | | Bertrand Meyer:
The Outside-In Method of Teaching Introductory Programming.
Ershov Memorial Conference 2003: 66-78 |
| 121 | | Bertrand Meyer:
The Grand Challenge of Trusted Components.
ICSE 2003: 660-667 |
| 120 | | Bertrand Meyer:
Towards Practical Proofs of Class Correctness.
ZB 2003: 359-387 |
| 119 | | Piotr Nienaltowski,
Volkan Arslan,
Bertrand Meyer:
Concurrent object-oriented programming on .NET.
IEE Proceedings - Software 150(5): 308-314 (2003) |
| 118 | | Karine Arnout,
Bertrand Meyer:
Uncovering Hidden Contracts: The .NET Example.
IEEE Computer 36(11): 48-55 (2003) |
| 117 | | Bertrand Meyer:
Proving Pointer Program Properties. Part 1: The Overall Object Structure.
Journal of Object Technology 2(1): 77-100 (2003) |
| 116 | | Bertrand Meyer:
On an open issue of programming language phonetics.
Journal of Object Technology 2(2): 109-110 (2003) |
| 115 | | Bertrand Meyer:
Proving Pointer Program Properties. Part 1: Context and overview.
Journal of Object Technology 2(2): 87-108 (2003) |
| 114 | | Bertrand Meyer:
Proving Pointer Program Properties. Part 2: The Overall Object Structure.
Journal of Object Technology 2(3): 77-100 (2003) |
| 113 | | 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) |
| 2002 |
|---|
| 112 | | Karine Arnout,
Bertrand Meyer:
Finding Implicit Contracts in .NET Components.
FMCO 2002: 285-318 |
| 111 | | Bertrand Meyer:
Assessing a C# Text.
IEEE Computer 35(4): 86-88 (2002) |
| 110 | | Bertrand Meyer:
The Start of an Eiffel Standard.
Journal of Object Technology 1(2): 95-99 (2002) |
| 109 | | 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) |
| 2001 |
|---|
| 108 | | Bertrand Meyer:
The .NET Training Course
Prentice-Hall 2001 |
| 107 | | Bertrand Meyer:
Concurrent Object-Oriented Programming.
TOOLS (38) 2001: 203 |
| 106 | | Bertrand Meyer:
At the Edge of Design by Contract.
TOOLS (38) 2001: 3 |
| 105 | | Tanit Talbi,
Bertrand Meyer,
Emmanuel Stapf:
A Metric Framework for Object-Oriented Development.
TOOLS (39) 2001: 164-172 |
| 104 | | Bertrand Meyer:
Building Trusted Components.
TOOLS (39) 2001: 347 |
| 103 | | Bertrand Meyer:
Open Problems in Object-Oriented Programming.
TOOLS (39) 2001: 8 |
| 102 | | Bertrand Meyer:
Software Engineering in the Academy.
IEEE Computer 34(5): 28-35 (2001) |
| 101 | | Bertrand Meyer:
.NET Is Coming.
IEEE Computer 34(8): 92-97 (2001) |
| 2000 |
|---|
| 100 | | Qizoyan Li,
Donald Firesmith,
Richard Riehle,
Bertrand Meyer:
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 |
| 99 | | Bertrand Meyer:
Programming with Agents: Combining O-O and Functional Techniques.
TOOLS (33) 2000: 460 |
| 98 | | Bertrand Meyer:
The Future of Component-Based Development.
TOOLS (33) 2000: 5 |
| 97 | | Bertrand Meyer:
Agent-Based Programming In Eiffel.
TOOLS (34) 2000: 477-478 |
| 96 | | Bertrand Meyer:
Design By Contract and the Component Revolution.
TOOLS (34) 2000: 515-518 |
| 95 | | Roger Smith,
Bertrand Meyer,
Clemens A. Szyperski,
Gilda Pour:
Component-Based Development? Refining the Blueprint.
TOOLS (34) 2000: 563- |
| 1999 |
|---|
| 94 | | Donald Firesmith,
Richard Riehle,
Gilda Pour,
Bertrand Meyer:
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 |
| 93 | | Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering.
TOOLS (29) 1999: 2 |
| 92 | | Bertrand Meyer:
Seamless Development with the Eiffel Method.
TOOLS (29) 1999: 397 |
| 91 | | Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering.
TOOLS (30) 1999: 3 |
| 90 | | Bertrand Meyer:
Managing By Contract.
TOOLS (30) 1999: 412 |
| 89 | | Bertrand Meyer:
On To Components.
IEEE Computer 32(1): 139-140 (1999) |
| 88 | | Bertrand Meyer:
Every Little Bit Counts: Toward More Reliable Software.
IEEE Computer 32(11): 131-133 (1999) |
| 87 | | Bertrand Meyer:
A Really Good Idea.
IEEE Computer 32(12): 144-147 (1999) |
| 86 | | Bertrand Meyer,
Christine Mingins:
Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction.
IEEE Computer 32(7): 35-37 (1999) |
| 85 | | Bertrand Meyer:
Design by Contract, Components and Debugging.
JOOP 11(8): 75-79 (1999) |
| 1998 |
|---|
| 84 | | Christine Mingins,
Bertrand Meyer:
TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia
IEEE Computer Society 1998 |
| 83 | | Bertrand Meyer:
Can We Make Componentware Succeed?
TOOLS (26) 1998: 3 |
| 82 | | Bertrand Meyer:
Design by Contract: The Eiffel Method.
TOOLS (26) 1998: 446 |
| 81 | | Bertrand Meyer:
Panel: Issues in Moving to a Component-Based Industry.
TOOLS (26) 1998: 493 |
| 80 | | Bertrand Meyer:
The Role of Object-Oriented Metrics.
IEEE Computer 31(11): 123-125 (1998) |
| 79 | | Bertrand Meyer,
Christine Mingins,
Heinz W. Schmidt:
Providing Trusted Components to the Industry.
IEEE Computer 31(5): 104-105 (1998) |
| 78 | | Bertrand Meyer:
The Future of Object Technology.
IEEE Computer 31: 140-141 (1998) |
| 77 | | Bertrand Meyer:
Tell Less, Say More: The Power of Implicitness.
IEEE Computer 31(7): 97-98 (1998) |
| 76 | | Bertrand Meyer:
The Component Combinator for Enterprise Applications.
JOOP 10(8): 5-9 (1998) |
| 75 | | Christopher Creel,
Bertrand Meyer:
Is Object Technology Ready for the Embedded World?
JOOP 11(1): 69-71, 76 (1998) |
| 74 | | Bertrand Meyer:
Approaches to Portability.
JOOP 11(4): 68-70 (1998) |
| 73 | | Bertrand Meyer:
The Power of Round-Trip Engineering.
JOOP 11(6): 93-95 (1998) |
| 72 | | Bertrand Meyer:
Prelude to a Theory of Void.
JOOP 11(7): 36-48 (1998) |
| 71 | | Bertrand Meyer:
Free EiffelBase: Eiffel Libraries Go Open Source.
JOOP 11(7): 8-10, 17 (1998) |
| 1997 |
|---|
| 70 | | Bertrand Meyer:
Object-Oriented Software Construction, 2nd Edition
Prentice-Hall 1997 |
| 69 | | James Coplien,
Joseph Gil,
David Harel,
Bertrand Meyer:
Keynotes.
TOOLS (23) 1997: 2 |
| 68 | | Bertrand Meyer:
Design by Contract: Making Object-Oriented Programs that Work.
TOOLS (25) 1997: 360 |
| 67 | | Jean-Marc Jézéquel,
Bertrand Meyer:
Design by Contract: The Lessons of Ariane.
IEEE Computer 30(1): 129-130 (1997) |
| 66 | | Christopher Creel,
Bertrand Meyer,
Philippe Stephan:
The Opportunity of a Millennium.
IEEE Computer 30(11): 137-138 (1997) |
| 65 | | Bertrand Meyer:
Practice To Perfect: The Quality First Model.
IEEE Computer 30(5): 102-106 (1997) |
| 64 | | Bertrand Meyer:
The Next Software Breakthrough.
IEEE Computer 30(7): 113-114 (1997) |
| 63 | | Bertrand Meyer:
Then Years After.
JOOP 10(4): 8-12 (1997) |
| 1996 |
|---|
| 62 | | Bertrand Meyer:
Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract).
ISOTAS 1996: 56 |
| 61 | | Bertrand Meyer:
Static Typing.
ISOTAS 1996: 57-75 |
| 60 | | Bertrand Meyer:
The Conceptual Perspective.
IEEE Computer 29(1): 86-88 (1996) |
| 59 | | Bertrand Meyer:
Schema Evolution: Concepts, Terminology, and Solutions.
IEEE Computer 29(10): 119-121 (1996) |
| 58 | | Bertrand Meyer:
The Reusability Challenge.
IEEE Computer 29(2): 76-78 (1996) |
| 57 | | Bertrand Meyer:
The many faces of inheritance: a taxonomy of taxonomy.
IEEE Computer 29(5): 105-108 (1996) |
| 56 | | Bertrand Meyer:
Why Your next Project Should use Eiffel.
JOOP 9(2): 59-63, 82 (1996) |
| 1995 |
|---|
| 55 | | Bertrand Meyer:
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses
Carl Hanser Verlag 1995 |
| 54 | | Bertrand Meyer:
Object Success
Prentice-Hall 1995 |
| 53 | | 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) |
| 52 | | Bertrand Meyer:
Static typing.
OOPS Messenger 6(4): 20-29 (1995) |
| 1994 |
|---|
| 51 | | Boris Magnusson,
Bertrand Meyer,
Jean-Marc Nerson,
Jean-François Perrot:
TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe.
Prentice Hall 1994 |
| 50 | | Bertrand Meyer:
An Object-Oriented Environment: Principles and Applications
Prentice-Hall 1994 |
| 49 | | Bertrand Meyer:
Reusable Software: The Base Object-Oriented Component Libraries
Prentice-Hall 1994 |
| 48 | | Bertrand Meyer:
On the Role of Methodology: Advice to the Advisors.
COODBSE 1994: 1-5 |
| 47 | | Bertrand Meyer:
Library Design.
TOOLS (13) 1994: 519 |
| 46 | | Bertrand Meyer:
Keynote: Uses and Misuses of Inheritance.
TOOLS (13) 1994: 9 |
| 1993 |
|---|
| 45 | | Boris Magnusson,
Bertrand Meyer,
Jean-François Perrot:
TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe.
Prentice Hall 1993 |
| 44 | | Raimund K. Ege,
Madhu S. Singh,
Bertrand Meyer:
TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
Prentice Hall 1993 |
| 43 | | Christine Mingins,
William Haebich,
John Potter,
Bertrand Meyer:
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 |
| 42 | | Bertrand Meyer,
Jean-Marc Nerson:
Object-Oriented Applications
Prentice-Hall 1993 |
| 41 | | Bertrand Meyer:
Object-Oriented Management.
TOOLS (10) 1993: 289 |
| 40 | | Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming.
TOOLS (11) 1993: 553 |
| 39 | | Bertrand Meyer:
Towards an Object-Oriented Curriculum.
TOOLS (11) 1993: 585-594 |
| 38 | | Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming.
TOOLS (12/9) 1993: 325 |
| 37 | | Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming.
TOOLS (12/9) 1993: 523-576 |
| 36 | | Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming.
Commun. ACM 36(9): 56-80 (1993) |
| 1992 |
|---|
| 35 | | Georg Heeg,
Boris Magnusson,
Bertrand Meyer:
TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe.
Prentice Hall 1992 |
| 34 | | Raimund K. Ege,
Madhu S. Singh,
Bertrand Meyer:
TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
Prentice Hall 1992 |
| 33 | | Bertrand Meyer:
Eiffel: Version 3 and beyond.
Eiffel 1992: 5 |
| 32 | | Webb Stacy,
Richard Helm,
Gail E. Kaiser,
Bertrand Meyer:
Ensuring Semantic Integrity of Reusable Objects (Panel).
OOPSLA 1992: 298-302 |
| 31 | | David Bulman,
S. Tucker Taft,
Bertrand Meyer,
Greg Nelson,
Mike Kilian:
OOP in Languages Providing Strong, Static Typing (Panel).
OOPSLA 1992: 87-91 |
| 30 | | Bertrand Meyer:
Object-Oriented Management.
TOOLS (8) 1992: 254 |
| 29 | | Bertrand Meyer:
Applying "Design by Contract".
IEEE Computer 25(10): 40-51 (1992) |
| 1991 |
|---|
| 28 | | Timothy D. Korson,
Vijay Vashnavi,
Bertrand Meyer:
TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
Prentice Hall 1991 |
| 27 | | John Potter,
Mario Tokoro,
Bertrand Meyer:
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia.
Prentice Hall 1991 |
| 26 | | Bertrand Meyer:
Eiffel: The Language
Prentice-Hall 1991 |
| 25 | | Bertrand Meyer:
Do we know how to find the classes?
TOOLS (5) 1991: 349-350 |
| 24 | | Bertrand Meyer:
Re-engineering software by isolating abstractions.
TOOLS (5) 1991: 369-370 |
| 1990 |
|---|
| 23 | | Bertrand Meyer:
Objektorientierte Softwareentwicklung
Prentice Hall 1990 |
| 22 | | Bertrand Meyer:
Introduction to the Theory of Programming Languages
Prentice-Hall 1990 |
| 21 | | Bertrand Meyer:
Lessons from the Design of the Eiffel Libraries.
Commun. ACM 33(9): 68-88 (1990) |
| 1989 |
|---|
| 20 | | Esther Dyson,
Bertrand Meyer,
Daniel Weinreb,
William N. Joy:
Objects in their Eyes (Panel).
OOPSLA 1989: 478 |
| 19 | | Bertrand Meyer:
From Structured Programming to Object-Oriented Design: The Road to Eiffel.
Structured Programming 10(1): 19-39 (1989) |
| 1988 |
|---|
| 18 | | Bertrand Meyer:
Object-Oriented Software Construction, 1st editon
Prentice-Hall 1988 |
| 17 | | Bertrand Meyer:
Eiffel: A language and environment for software engineering.
Journal of Systems and Software 8(3): 199-246 (1988) |
| 16 | | Bertrand Meyer:
Cépage: Toward computer-aided design of software.
Journal of Systems and Software 8(5): 419-429 (1988) |
| 1987 |
|---|
| 15 | | Bertrand Meyer,
Jean-Marc Nerson,
Masanobu Matsuo:
EIFFEL: Object-Oriented Design for Software Engineering.
ESEC 1987: 221-229 |
| 14 | | Bertrand Meyer:
Reusability: The Case for Object-Oriented Design.
IEEE Software 4(2): 50-64 (1987) |
| 1986 |
|---|
| 13 | | Bertrand Meyer:
Genericity versus Inheritance.
OOPSLA 1986: 391-405 |
| 1985 |
|---|
| 12 | | Bertrand Meyer:
The Software Knowledge Base.
ICSE 1985: 158-165 |
| 11 | | Bertrand Meyer:
On Formalism in Specifications.
IEEE Software 2(1): 6-26 (1985) |
| 10 | | Bertrand Meyer:
Incremental String Matching.
Inf. Process. Lett. 21(5): 219-227 (1985) |
| 9 | | Bertrand Meyer,
Jean-Marc Nerson,
Soon Hae Ko:
Showing Programs on a Screen.
Sci. Comput. Program. 5(2): 111-142 (1985) |
| 1984 |
|---|
| 8 | | Bertrand Meyer,
Claude Baudoin:
Méthodes de Programmation, 3rd edition
Eyrolles 1984 |
| 1982 |
|---|
| 7 | | Bertrand Meyer:
Principles of Package Design.
Commun. ACM 25(7): 419-428 (1982) |
| 1980 |
|---|
| 6 | | Bertrand Meyer:
A Basis for the Constructive Approach to Programming.
IFIP Congress 1980: 293-298 |
| 5 | | 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 |
| 4 | | 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 |
| 3 | | Jean-Raymond Abrial,
Stephen A. Schuman,
Bertrand Meyer:
Specification Language.
On the Construction of Programs 1980: 343-410 |
| 1978 |
|---|
| 2 | | Bertrand Meyer,
Claude Baudoin:
Méthodes de Programmation, 1st edition
Eyrolles 1978 |
| 1 | | Bertrand Meyer:
A Note on Computing Multiple Sums.
Softw., Pract. Exper. 8(1): 3-9 (1978) |
