- Eiffel*: A Language and Environment for Software Engineering
- European computer science takes its fate in its own hands
- [This is the original version of an article published, in three parts, by Software Development in its "Beyond Objects" column: May, June and July 2002 issues.]
- Attached types and their application to three open problems
- Service In!ormatique et Mathematiques App/iquees Description des structures de donnees
- Componentization: the Visitor example Bertrand Meyer* Karine Arnout**
- The new culture of software development
- Algorithmic Languages, de Bakker/van Vliet (eds.) IFIP, North-Holland Publishing Company, 1981,99-114
- Automated Debugging of Programs with Contracts Carlo A. Furia
- This is a pre-copy-editing version of a review published in IEEE Computer, vol. 35, no. 4, April 2002, pages 86-88. It includes some material that had to be removed from the published
- Steps towards a theory and calculus of aliasing Bertrand Meyer
- The power of abstraction, reuse and simplicity: An object-oriented library for event-driven design
- 140 Computer ObjectTechnnology
- SPECIFICATION LANGUAGE J.R. Abrial
- On the Predictability of Random Tests for Object-Oriented Software Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer
- Contracts for concurrency Piotr Nienaltowski, Bertrand Meyer
- January 1999 139 Componentand
- ADVANCES IN COMPUTER METHODS FOR PARTIAL DIFFERENTIAL EOUATIONS -III R. VICHNEVETSKY and R.s. STEPLEMAN (Editors)
- Generating Fixes from Object Behavior Anomalies Valentin Dallmeier Andreas Zeller
- The nature of programming is changing. Most of the software engi-
- This is a slightly revised version of an article published in Software Development, March 2000. For the published version see
- A NOTE ON ITERATIVE HANOI Bertrand Meyer
- Efficient Unit Test Case Minimization Andreas Leitner
- This is a pre-publication version of an article that appeared in the JOOP Eiffel column in 1999. Citation reference: Bertrand Meyer, Extension Season, in Journal of Object-Oriented Programming (JOOP), vol. 12, no. 3, June 1999.
- Towards an Object-Oriented Curriculum Bertrand Meyer
- 102 Computer Ich bin der Geist, der stets verneint,
- 1Il!11: m:mm:lli11I,111 Illili:llili!!ill,1ll ill ill!!ii111,111,111 mm; 206 THE HUMAN FACTOR HAS KNOCKED THREE TIMES
- Pattern componentization: The Factory example KARINE ARNOUT BERTRAND MEYER
- Science of Computer Programming 5 (1985) 107-109 North-Holland
- The Dependent Delegate Dilemma Bertrand Meyer, ETH Zurich
- An IDE-based, integrated solution to Schema Evolution of Object-Oriented Software
- y now you have probably heard more than you really care to
- THE EIFFEL ENVIRONMENTBecause interpreters offer flexibility, most object-oriented environments
- ormany years, software engi-
- hy your next project should By Bertrand Meyer
- Information Processing Letters 21 (1985) 219-227 18 November 1985 North-Holland
- UBITIB Hannover university of california santa barbara
- Experimental Assessment of Random Testing for Object-Oriented Software
- oftware development evolves less quickly than the industry's
- 0018-9162/01/$10.00 2001 IEEE2 Computer Engineering in
- 124 Computer T H E P R O F E S S I O N
- 86 Computer Jesse Liberty obviously understands
- C++ programmer said to Rabbi Shammai: "I promise to try object technology if you can explain the secret of ob-
- ON THE ROLE OF METHODOLOGY: ADVICE TO THE ADVISORS BERTRAND MEYER
- nnounced in July 2000, .NET, Microsoft's platform for
- The Grand Challenge of Trusted Components Bertrand Meyer
- Research Evaluation for Computer Science
- Type conversions in an O-O language with inheritance Bertrand Meyer
- Cite this paper as follows: Bertrand Meyer, Ilinca Ciupa, Andreas Leitner and Lisa (Ling) Liu, Automatic Testing of Object-Oriented Software, in SOFSEM
- COVER FEATURE Published by the IEEE Computer Society 0018-9162/09/$26.00 2009 IEEE
- lnl'ornlad'lnc uissunce ef intelligence, perfor-
- BertrandMeyer SYSTEMATIC CONCURRENT
- Contract Driven Development = Test Driven Development Writing Test Cases
- This article appeared as a guest editorial in JOOP in 1991. Citation reference: Bertrand Meyer: Object-rientation Outlook 1991: Optimism, pessimism, challenges, Guest Editorial, Journal of Object-Oriented
- Satisfying Test Preconditions through Guided Object Selection Yi Wei, Serge Gebhardt, Bertrand Meyer
- Static typing* Bertrand Meyer
- 104 Computer he software industry stands on
- Sequential and Concurrent Obje'ct-Oriented Programming Bertrand Meyer
- Genericity versus Inher'itance Bertrand Meyer
- July 1998 97 SoftwareRealities
- To be cited as: Bertrand Meyer, Towards practical proofs of class correctness, to appear in in ||ZB 2003: Formal Specification and Development in Z and B, Proceedings of 3rd
- THE SOFTWARE KNOWLEDGE BASE Bertrand Meyer
- Un environnement conversationnel adeux dimensions
- Concurrent object-oriented programming on .NET P. Nienaltowski, V. Arslan and B. Meyer
- s this is the final installment of the Component and Object
- Sur la programmatioll rationnelle des algorithmes llumeriques A. BOSSAVIT* ct B. MEYER* *
- BERTRAN 0 MEYER What to Compose
- Eiffel: An Introduction Author: Bertrand Meyer.
- pr r mm tion par Bertrand MEYER
- SOFTWARE ARCHITECTURE: OBJECT-ORIENTED VS FUNCTIONAL Bertrand Meyer
- mel towering example of quick, clean softwareBy STAN BEER
- Principles of Package Design Bertrand Meyer
- Computer Physics Communications 37 (1985) 27 38 27 North-Holland, Amsterdam
- November 1999 131 o far, we've had it easy. The
- EIFFEL ......................................... Raphael Simon, Emmanuel Stapf,
- Testable, Reusable Units of Cognition Bertrand Meyer
- Expediteur [lac11 Adresse de livraison [ziltJ .lnfo.....atlque
- INFORMATION PROCESSING 80, S.H. Lavington (ed.) North-Holland Publishing Company
- To appear in: Abstract State Machines 2003 --Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantini,
- Finding Implicit Contracts in .NET Libraries Karine Arnout1 Bertrand Meyer1, 2
- A Sound and Complete Program Logic for Eiffel Martin Nordio1
- CEPAGE: UN EDITEUR STRUCTUREL PLEINE PAGE Bertrand Meyer +, Jean-Marc Nerson ++
- SCOOP A contract-based concurrent object-oriented programming model
- A THREE-LEVEL APPROACHTO THE DESCRIPTION OF DATA STRUCTURES, AND NOTATIONAL FRR!EWORK Bertrand Meyer
- ..----......__..____.._____ EIFFEL Bertrand Meyer
- A metric framework for object-oriented development Tanit Talbi Bertrand Meyer Emmanuel Stapf
- INTEGRATED INTERACTIVE COMPUTING SYSTEMS P. Degano and E. Sandewall, editors
- Genericity Versus Inheritance
- Principles of language design and evolution
- WORKSHOP NOTES INTERNATIONAL WORKSHOP ON
- Design and code reviews in the age of the Internet Bertrand Meyer
- Eiffel as a framework for verification Bertrand Meyer
- 0018-9162/99/$10.00 1999 IEEE July 1999 35 Component-Based
- UB/TIB Hannover e-gs-A5) .
- G'ni I giciel par Bertrand MEYER
- Reasoning about Function Objects Martin Nordio1
- Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages
- Education & Training Toward an object-oriented
- Cepage * . Toward Computer-Aided Design of Bertrand Meyer
- The New Culture of Software Development
- Making specifications complete through models Bernd Schoeller, Tobias Widmer, and Bertrand Meyer
- Dependable software Bertrand Meyer, ETH Zurich
- SOFTWARE-PRACTICE AND EXPERIENCE, VOL. 8, 3-9 (1978) A N'ote on Computing Multiple Sums
- Les langages de specification M. DEMUYNCK* et B. MEYER**
- Service In!ormatique el Mathematiques App/iquies Quelques concepts importants
- "Neither ever quite the same,
- =========EXOTICLANGUAGE--------========OFTHE MONTH CLUB
- Writing Correct Assertion and exception techniques can aid in class
- Guest column What is an object-oriented
- To find out where software is headed, Computertook to the
- made up of respected experts from major European countries, which produced a
- Prelude to a Theory of Void Bertrand Meyer
- This is a pre-publication version of an article that appeared in the JOOP Eiffel column in 1999. Citation reference: Paul Dubois, Mark Howard, Bertrand Meyer, Michael Schweitzer and Emmanuel Stapf, From Calls to Agents, in
- Principles of Software Testing
- TOOL~METHODSANDLANGUAGESFOR SCIENTIFIC AND ENGINEERING COMPUTATION
- CEP GE: a full-screen structural editor Bertrand MEYER
- OBJECT-ORIENTED DESIGN FOR SOFTWARE ENGINEERING
- ITOOlS '891 THE NEW CULTURE OF SOFTWARE DEVELOPMENT
- (TOOlS '89 t THE EIFFEL OBJECT-ORIENTED PARSING LIBRARY
- Reconciling Manual and Automated Testing: the AutoTest Experience Andreas Leitner, Ilinca Ciupa, Bertrand Meyer
- Cite this paper as follows: Bertrand Meyer, Ilinca Ciupa, Lisa (Ling) Liu, Manuel Oriol, Andreas Leitner, Raluca Borca-Muresan: Systematic evaluation of test failure
- Cite this paper as follows: Lisa (Ling) Liu, Bertrand Meyer and Bernd Schoeller, Using contracts and boolean queries to improve the
- ARTOO: Adaptive Random Testing for Object-Oriented Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
- Proof-Transforming Compilation of Eiffel Programs
- The Role of Contracts in Distributed Development
- A comparative study of programmer-written and automatically inferred contracts
- Verifying Executable Object-Oriented Specifications with Separation Logic
- Practical framework for contract-based concurrent object-oriented programming Piotr Nienaltowski
- Inferring Loop Invariants using Postconditions Carlo A. Furia and Bertrand Meyer
- Specifying Reusable Components Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer
- Deriving Concurrent Control Software from Behavioral Specifications Ganesh Ramanathan
- Inferring Better Contracts Yi Wei Carlo A. Furia Nikolay Kazmin Bertrand Meyer
- CUNIN,P. Y.; GRIFFITHS,M. (IUCAL, 38,780 Vandoeuvre, France) ; ANDVOIRON,J.
- RnRLYSES IlllOIiAAP IQUE5 227. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e . . . . . . . . . . . . . . . . . . . II . . . . " . . . .
- La resistance In 1992, tbepower of c++ dominated the known programming world. All tbe world?
- Jean Ichbiah and his contributions1 Bertrand Meyer
- PROGRAMMING FOR REUSABILITY AND EXTENDIBILITY Bertrand Meyer
- Defense and Illustration of Wikipedia Bertrand Meyer
- DISCIPLINED EXCEPTIONS Bertrand Meyer
- On Formalism in Specifications= Bertrand Meyer, University Of california, santa Barbara
- Conversation with Editorial Board Member
- Publication reference: Bertrand Meyer, From Structured Programming to Object-Oriented Design: The Road to Eiffel, in Structured Programming, vol. 10, no. 1, January 1989, pages 19-39.
- 0018-9162/03/$17.00 2003 IEEE48 Computer Hidden Contracts
- Can Aspects Implement Contracts? Stephanie Balzer , Patrick Th. Eugster, Bertrand Meyer
- : Applying "Design by Bertrand Meyer
- A comprehensive operational semantics of the SCOOP
- Code-Based Automated Program Fixing Yu Pei Yi Wei Carlo A. Furia Martin Nordio Bertrand Meyer
- Stateful Testing: Finding More Errors in Code and Contracts
- Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
- Automated Translation of Java Source Code to Eiffel
- Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
- Towards a Calculus of Object Programs Bertrand Meyer
- Finding Faults: Manual Testing vs. Random Testing+ vs. User Reports
- Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs Lucas Serpa Silva, Yi Wei, Bertrand Meyer
