Bertrand Meyer

379 papers A* 12A 23B 14C 18Misc 2Journal 156Unranked 98
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combining Tests and Proofs for Better Software Verification.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2026 J jnl
Lessons from Formally Verified Deployed Software Systems.
ACM Comput. Surv.
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu
2025 J jnl
AI for software engineering: from probable to provable.
CoRR
Bertrand Meyer
2025 J jnl
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair.
CoRR
Viktoryia Kananchuk, Ilgiz Mustafin, Bertrand Meyer
2025 J jnl
Do AI models help produce verified bug fixes?
CoRR
Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer
2025 C conf
Loop Unrolling: Formal Definition and Application to Testing.
ICTSS
Li Huang, Bertrand Meyer, Reto Weber
2025 J jnl
Loop unrolling: formal definition and application to testing.
CoRR
Li Huang, Bertrand Meyer, Reto Weber
2025 J jnl
Obituary for Niklaus Wirth.
Formal Aspects Comput.
Bertrand Meyer
2025 J jnl
Programming Really Is Simple Mathematics.
CoRR
Bertrand Meyer, Reto Weber
2025 J jnl
Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites.
SN Comput. Sci.
Li Huang, Bertrand Meyer, Manuel Oriol
2025 J jnl
Software Engineering as a Domain to Formalize.
CoRR
Bertrand Meyer
2025 J jnl
The nature of loops in programming.
CoRR
Bertrand Meyer
2025 J jnl
UOOR: Seamless and Traceable Requirements.
CoRR
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
2024 — conf
BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community.
APR
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
2024 J jnl
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community.
CoRR
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
2024 — conf
Execution-Free Program Repair.
SIGSOFT FSE Companion
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
2024 J jnl
Execution-free Program Repair.
CoRR
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
2024 C conf
Is MCDC Really Better? Lessons from Combining Tests and Proofs.
TAP
Li Huang, Bertrand Meyer, Manuel Oriol
2024 J jnl
Loop unrolling (for test coverage): formal definition.
CoRR
Bertrand Meyer
2024 — ch.
Right and Wrong: Ten Choices in Language Design.
The French School of Programming
Bertrand Meyer
2024 J jnl
The Concept of Class Invariant in Object-oriented Programming.
Formal Aspects Comput.
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
2024 — book
The French School of Programming
Bertrand Meyer
2023 J jnl
A failed proof can yield a useful test.
Softw. Test. Verification Reliab.
Li Huang, Bertrand Meyer
2023 — ed.
Frontiers in Software Engineering Education - Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
FISEE
Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
2023 J jnl
Lessons from Formally Verified Deployed Software Systems.
CoRR
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
2023 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol.
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2023 C conf
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.
ICTSS
Li Huang, Bertrand Meyer, Manuel Oriol
2023 J jnl
Seeding Contradiction: a fast method for generating full-coverage test suites.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2022 J jnl
A Failed Proof Can Yield a Useful Test.
CoRR
Li Huang, Bertrand Meyer
2022 — book
Handbook of Requirements and Business Analysis
Bertrand Meyer
2022 — conf
Improving Counterexample Quality from Failed Program Verification.
ISSRE Workshops
Li Huang, Bertrand Meyer, Manuel Oriol
2022 J jnl
Improving Counterexample Quality from Failed Program Verification.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2022 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
CoRR
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022 J jnl
Right and wrong: ten choices in language design.
CoRR
Bertrand Meyer
2022 J jnl
Special Issue on New Paradigms of Software Production and Deployment.
SN Comput. Sci.
Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2022 J jnl
The Role of Formalism in System Requirements.
ACM Comput. Surv.
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
2021 J jnl
The concept of class invariant in object-oriented programming.
CoRR
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
2020 J jnl
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.
SN Comput. Sci.
Victor Rivera, Bertrand Meyer
2020 — ed.
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
FISEE
Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
2020 J jnl
In search of the shortest possible schedule.
Commun. ACM
Bertrand Meyer
2020 — ed.
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, 2019, Revised Selected Papers
DEVOPS
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2020 — ch.
Software Engineering, Across Two Centuries.
Unimagined Futures
Bertrand Meyer
2019 J jnl
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang.
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2019 J jnl
Formality in Software Requirements.
CoRR
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
2019 — ed.
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, 2018, Revised Selected Papers
DEVOPS
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
2019 — ed.
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings
TOOLS
Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko
2019 J jnl
The Anatomy of Requirements.
CoRR
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2019 — conf
Towards an Anatomy of Software Requirements.
TOOLS
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2018 J jnl
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.
CoRR
Victor Rivera, Bertrand Meyer
2018 J jnl
AutoFrame: Automatic Frame Inference for Object-Oriented Languages.
CoRR
Victor Rivera, Bertrand Meyer
2018 J jnl
Making Sense of Agile Methods.
IEEE Softw.
Bertrand Meyer
2018 J jnl
The costs and pleasures of a computer science teacher.
Commun. ACM
Mark Guzdial, Bertrand Meyer
2017 J jnl
A contract-based method to specify stimulus-response requirements.
CoRR
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
2017 J jnl
Ending null pointer crashes.
Commun. ACM
Bertrand Meyer
2017 J jnl
Expressing and verifying embedded software requirements.
CoRR
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2017 J jnl
Fourteen Years of Software Engineering at ETH Zurich.
CoRR
Bertrand Meyer
2017 J jnl
On the verification of SCOOP programs.
Sci. Comput. Program.
Georgiana Caltais, Bertrand Meyer
2017 — book
Present and Ulterior Software Engineering.
Manuel Mazzara, Bertrand Meyer
2017 — conf
Seamless Integration of Multirequirements in Complex Systems.
RE Workshops
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
2017 J jnl
Seamless Requirements.
CoRR
Alexandr Naumchev, Bertrand Meyer
2017 J jnl
Seamless requirements.
Comput. Lang. Syst. Struct.
Alexandr Naumchev, Bertrand Meyer
2016 C conf
An Interference-Free Programming Model for Network Objects.
COORDINATION
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016 J jnl
An Interference-Free Programming Model for Network Objects.
CoRR
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016 J jnl
Class Invariants: Concepts, Problems, Solutions.
CoRR
Bertrand Meyer
2016 Misc conf
Complete Contracts through Specification Drivers.
TASE
Alexandr Naumchev, Bertrand Meyer
2016 J jnl
Complete contracts through specification drivers.
CoRR
Alexandr Naumchev, Bertrand Meyer
2016 J jnl
SmartWalker: An intelligent robotic walker.
J. Ambient Intell. Smart Environ.
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
2016 J jnl
Unifying Requirements and Code: an Example.
CoRR
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
2015 J jnl
Alias calculus, change calculus and frame inference.
Sci. Comput. Program.
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
2015 B conf
An Incremental Hint System For Automated Programming Assignments.
ITiCSE
Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer
2015 — conf
Automated Program Repair in an Integrated Development Environment.
ICSE (2)
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
2015 — conf
Automatic speed control for SmartWalker.
PETRA
Jiwon Shin, Ivo Steinmann, Bertrand Meyer
2015 A conf
Concurrency patterns for easier robotic coordination.
IROS
Andrey Rusakov, Jiwon Shin, Bertrand Meyer
2015 — conf
Concurrent Software Engineering and Robotics Education.
ICSE (2)
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
2015 B conf
Contract-based general-purpose GPU programming.
GPCE
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2015 B conf
Efficient and reasonable object-oriented concurrency.
PPoPP
Scott West, Sebastian Nanz, Bertrand Meyer
2015 — conf
Efficient and reasonable object-oriented concurrency.
ESEC/SIGSOFT FSE
Scott West, Sebastian Nanz, Bertrand Meyer
2015 — ch.
Framing the Frame Problem.
Dependable Software Systems Engineering
Bertrand Meyer
2015 J jnl
On the Verification of SCOOP Programs.
CoRR
Georgiana Caltais, Bertrand Meyer
2015 — conf
Rational Ethics.
ECSS
Bertrand Meyer
2015 B conf
SmartWalker: Towards an Intelligent Robotic Walker for the Elderly.
Intelligent Environments
Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer
2015 — ed.
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2015 J jnl
Theory of Programs.
CoRR
Bertrand Meyer
2015 — conf
Unifying Requirements and Code: An Example.
Ershov Memorial Conference
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera
2014 J jnl
Agile vs. structured distributed software development: A case study.
Empir. Softw. Eng.
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
2014 — book
Agile! - The Good, the Hype and the Ugly
Bertrand Meyer
2014 — conf
An Automatic Technique for Static Deadlock Prevention.
Ershov Memorial Conference
Bertrand Meyer
2014 — conf
An experiment on teaching coordination in a globally distributed software engineering class.
CSEE&T
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis
2014 J jnl
Automated Fixing of Programs with Contracts.
CoRR
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 J jnl
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng.
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 B conf
Automatic Program Repair by Fixing Contracts.
FASE
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2014 C conf
Awareness and Merge Conflicts in Distributed Software Development.
ICGSE
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2014 J jnl
Coffman deadlocks in SCOOP.
CoRR
Georgiana Caltais, Bertrand Meyer
2014 J jnl
Contract-Based General-Purpose GPU Programming.
CoRR
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2014 B conf
Contracts in Practice.
FM
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
2014 J jnl
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership.
CoRR
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2014 J jnl
Efficient and Reasonable Object-Oriented Concurrency.
CoRR
Scott West, Sebastian Nanz, Bertrand Meyer
2014 B conf
Flexible Invariants through Semantic Collaboration.
FM
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2014 C conf
Keynote talk IIP: Proving (and revisiting) what programs do not.
MEMOCODE
Bertrand Meyer
2014 J jnl
Loop invariants: Analysis, classification, and examples.
ACM Comput. Surv.
Carlo A. Furia, Bertrand Meyer, Sergey Velder
2014 — conf
Negative Variables and the Essence of Object-Oriented Programming.
Specification, Algebra, and Software
Bertrand Meyer, Alexander Kogtenkov
2014 B conf
SPOC-supported introduction to programming.
ITiCSE
Marco Piccioni, H.-Christian Estler, Bertrand Meyer
2014 C conf
Safe and Efficient Data Sharing for Message-Passing Concurrency.
COORDINATION
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2014 A conf
Simple concurrency for robotics with the Roboscoop framework.
IROS
Andrey Rusakov, Jiwon Shin, Bertrand Meyer
2014 J jnl
Teaching Software Engineering through Robotics.
CoRR
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
2014 — conf
Theory of Programs.
LASER Summer School
Bertrand Meyer
2014 — conf
Trust or verify?
QoSA
Bertrand Meyer
2013 J jnl
Alias and Change Calculi, Applied to Frame Inference.
CoRR
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
2013 A conf
An Empirical Study of API Usability.
ESEM
Marco Piccioni, Carlo A. Furia, Bertrand Meyer
2013 B conf
Applying Search in an Automatic Contract-Based Testing Tool.
SSBSE
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
2013 A conf
Benchmarking Usability and Performance of Multicore Languages.
ESEM
Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer
2013 — conf
Certificates and Separation Logic.
TGC
Martin Nordio, Cristiano Calcagno, Bertrand Meyer
2013 J jnl
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.
IEEE Trans. Software Eng.
Marco Piccioni, Manuel Oriol, Bertrand Meyer
2013 C conf
Collaborative Debugging.
ICGSE
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2013 J jnl
Design of an empirical study for comparing the usability of concurrent programming languages.
Inf. Softw. Technol.
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2013 — conf
Empirical answers to fundamental software engineering problems (panel).
ESEC/SIGSOFT FSE
Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi
2013 J jnl
Flexible Invariants Through Semantic Collaboration.
CoRR
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2013 — conf
Handling Parallelism in a Concurrency Model.
MUSEPAT
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 J jnl
Handling Parallelism in a Concurrency Model.
CoRR
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 — conf
How to Cancel a Task.
MUSEPAT
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
2013 — ed.
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013
ESEC/SIGSOFT FSE
Bertrand Meyer, Luciano Baresi, Mira Mezini
2013 — conf
Program Checking with Less Hassle.
VSTTE
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 — conf
Prototyping a Concurrency Model.
ACSD
Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 A conf
Really Automatic Scalable Object-Oriented Reengineering.
ECOOP
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 Misc conf
The search for the laws of automatic random testing.
SAC
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2013 — conf
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.
Australian Software Engineering Conference
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2013 A* conf
What good are strong specifications?
ICSE
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2013 J jnl
When reviews do more than sting.
Commun. ACM
Bertrand Meyer
2012 J jnl
A survey of loop invariants
CoRR
Carlo A. Furia, Bertrand Meyer, Sergey Velder
2012 C conf
Agile vs. Structured Distributed Software Development: A Case Study.
ICGSE
H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
2012 J jnl
Automatic Translation of C Source Code to Eiffel
CoRR
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012 — conf
C to O-O Translation: Beyond the Easy Stuff.
WCRE
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012 — conf
Can asynchronous exceptions expire?
WEH@ICSE
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2012 C conf
Demonic Testing of Concurrent Programs.
ICFEM
Scott West, Sebastian Nanz, Bertrand Meyer
2012 — ed.
Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2012 A* conf
Freefinement.
POPL
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
2012 J jnl
How Specifications Change and Why You Should Care
CoRR
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2012 J jnl
Incremental research vs. paradigm-shift mania.
Commun. ACM
Bertrand Meyer
2012 J jnl
Knowledgeable beginners.
Commun. ACM
Bertrand Meyer
2012 J jnl
Performance analysis of SCOOP programs.
J. Syst. Softw.
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2012 — conf
Processors and Their Collection.
MSEPT
Bertrand Meyer, Alexander Kogtenkov, Anton Akhi
2012 J jnl
The Search for the Laws of Automatic Random Testing
CoRR
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2012 — ed.
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2012 J jnl
Understanding CS1 students; defective software.
Commun. ACM
Mark Guzdial, Bertrand Meyer
2012 J jnl
What Good Are Strong Specifications?
CoRR
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2012 C conf
Who is Accountable for Asynchronous Exceptions?
APSEC
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 J jnl
A comprehensive operational semantics of the SCOOP programming model
CoRR
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 — conf
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.
LASER Summer School
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer
2011 A* conf
Code-based automated program fixing.
ASE
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Collaborative Software Development on the Web
CoRR
Martin Nordio, Bertrand Meyer, H.-Christian Estler
2011 A conf
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages.
ESEM
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 — conf
Empirical assessment of languages for teaching concurrency: Methodology and application.
CSEE&T
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 J jnl
Evidence-Based Automated Program Fixing
CoRR
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 C conf
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.
APSEC
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol
2011 C conf
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.
ICGSE
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto
2011 J jnl
In support of open reviews; better teaching through large-scale data mining.
Commun. ACM
Bertrand Meyer, Greg Linden
2011 A* conf
Inferring better contracts.
ICSE
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
2011 J jnl
On the number and nature of faults found by random testing.
Softw. Test. Verification Reliab.
Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer
2011 J jnl
Record-Replay Debugging for Concurrent SCOOP Programs
CoRR
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 J jnl
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
CoRR
Marco Piccioni, Manuel Oriol, Bertrand Meyer
2011 — ed.
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
CEE-SET
Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka
2011 J jnl
Stateful Testing: Finding More Errors in Code and Contracts
CoRR
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 A* conf
Stateful testing: Finding more errors in code and contracts.
ASE
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 J jnl
Steps Towards a Theory and Calculus of Aliasing.
Int. J. Softw. Informatics
Bertrand Meyer
2011 — conf
Teaching software engineering using globally distributed projects: the DOSE course.
CTGDSD@ICSE
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
2011 J jnl
Towards a Calculus of Object Programs
CoRR
Bertrand Meyer
2011 B conf
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
SEFM
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Verifying Eiffel Programs with Boogie
CoRR
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2010 J jnl
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages
CoRR
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2010 — conf
A Formal Reference for SCOOP.
LASER Summer School
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2010 C conf
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.
ICFEM
Scott West, Sebastian Nanz, Bertrand Meyer
2010 — conf
Advanced hands-on training for distributed and outsourced software engineering.
ICSE (1)
Martin Nordio, Roman Mitin, Bertrand Meyer
2010 A conf
Automated fixing of programs with contracts.
ISSTA
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
2010 — conf
Automatic Testing and Fixing for Eiffel - (Extended Abstract).
TAIC PART
Bertrand Meyer
2010 — ch.
Avoid a Void: The Eradication of Null Dereferencing.
Reflections on the Work of C. A. R. Hoare
Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf
2010 A conf
Deriving concurrent control software from behavioral specifications.
IROS
Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer
2010 — conf
Inferring Loop Invariants Using Postconditions.
Fields of Logic and Computation
Carlo A. Furia, Bertrand Meyer
2010 — conf
Is Branch Coverage a Good Measure of Testing Effectiveness?
LASER Summer School
Yi Wei, Bertrand Meyer, Manuel Oriol
2010 — conf
Object-Oriented Modeling of Object-Oriented Concepts.
ISSEP
Michela Pedroni, Bertrand Meyer
2010 — conf
Reasoning about Function Objects.
TOOLS (48)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
2010 A conf
Satisfying Test Preconditions through Guided Object Selection.
ICST
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol
2010 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
SEAFOOD
Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
2010 J jnl
Specifying Reusable Components
CoRR
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010 — conf
Specifying Reusable Components.
VSTTE
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010 J jnl
The theory and calculus of aliasing
CoRR
Bertrand Meyer
2010 J jnl
Towards a theory and calculus of aliasing.
J. Object Technol.
Bertrand Meyer
2010 A conf
Verifying Executable Object-Oriented Specifications with Separation Logic.
ECOOP
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
2009 — conf
A Sound and Complete Program Logic for Eiffel.
TOOLS (47)
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
2009 A conf
A comparative study of programmer-written and automatically inferred contracts.
ISSTA
Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer
2009 A* conf
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.
ASE
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider
2009 J jnl
Contracts for concurrency.
Formal Aspects Comput.
Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff
2009 A* conf
Generating Fixes from Object Behavior Anomalies.
ASE
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
2009 J jnl
Inferring Loop Invariants using Postconditions
CoRR
Carlo A. Furia, Bertrand Meyer
2009 — ed.
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings
TOOLS (47)
Manuel Oriol, Bertrand Meyer
2009 A conf
On the Effectiveness of Test Extraction without Overhead.
ICST
Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol
2009 J jnl
Point/Counterpoint.
IEEE Softw.
Gerald D. Everett, Bertrand Meyer
2009 J jnl
Programs That Test Themselves.
Computer
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf
2009 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
SEAFOOD
Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio
2009 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
SEAFOOD
Olly Gotel, Mathai Joseph, Bertrand Meyer
2009 — conf
The Role of Contracts in Distributed Development.
SEAFOOD
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli
2009 — book
Touch of Class: Learning to Program Well with Objects and Contracts
Bertrand Meyer
2009 J jnl
Viewpoint - Research evaluation for computer science.
Commun. ACM
Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen
2008 A* conf
ARTOO: adaptive random testing for object-oriented software.
ICSE
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2008 A conf
Automatic extraction of notions from course material.
SIGCSE
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer
2008 — ed.
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
CEE-SET
Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter
2008 J jnl
By students, for students: a production-quality multimedia library and its application to game-based teaching.
J. Object Technol.
Till G. Bay, Michela Pedroni, Bertrand Meyer
2008 A conf
Compiler error messages: what can help novices?
SIGCSE
Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer
2008 B conf
Course management with TrucStudio.
ITiCSE
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer
2008 — conf
Design and Code Reviews in the Age of the Internet.
SEAFOOD
Bertrand Meyer
2008 J jnl
Design and code reviews in the age of the internet.
Commun. ACM
Bertrand Meyer
2008 A conf
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.
ISSRE
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner
2008 — ed.
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
TOOLS (46)
Richard F. Paige, Bertrand Meyer
2008 A conf
On the Predictability of Random Tests for Object-Oriented Software.
ICST
Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2008 — conf
Proof-Transforming Compilation of Eiffel Programs.
TOOLS (46)
Martin Nordio, Peter Müller, Bertrand Meyer
2008 — conf
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.
LASER Summer School
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer
2008 J jnl
Seven Principles of Software Testing.
Computer
Bertrand Meyer
2008 — conf
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development.
CSEE&T
Bertrand Meyer, Marco Piccioni
2008 — ed.
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
Bertrand Meyer, Jim Woodcock
2007 B conf
A framework for describing and comparing courses and curricula.
ITiCSE
Michela Pedroni, Manuel Oriol, Bertrand Meyer
2007 — conf
Automatic Testing of Object-Oriented Software.
SOFSEM (1)
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu
2007 — conf
Celebrating 40 years of language evolution: simula 67 to the present and beyond.
OOPSLA Companion
Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.
2007 — conf
Contract driven development = test driven development - writing test cases.
ESEC/SIGSOFT FSE
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva
2007 B conf
Contract-Driven Development.
FASE
Bertrand Meyer
2007 J jnl
Editorial Special Issue.
J. Object Technol.
Jean Bézivin, Bertrand Meyer
2007 A* conf
Efficient unit test case minimization.
ASE
Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer
2007 A conf
Experimental assessment of random testing for object-oriented software.
ISSTA
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2007 — conf
IDE-integrated Support for Schema Evolution in Object-Oriented Applications.
RAM-SE
Marco Piccioni, Manuel Oriol, Bertrand Meyer
2007 C conf
Proving What Programs Do Not.
MEMOCODE
Bertrand Meyer
2007 — conf
Reconciling Manual and Automated Testing: The AutoTest Experience.
HICSS
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
2007 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
SEAFOOD
Bertrand Meyer, Mathai Joseph
2007 C ed.
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
TAP
Yuri Gurevich, Bertrand Meyer
2007 C conf
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.
TAP
Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller
2006 J jnl
Componentization: The Visitor Example.
Computer
Bertrand Meyer, Karine Arnout
2006 — conf
Dependable Software.
Research Results of the DICS Program
Bertrand Meyer
2006 — ed.
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program
Research Results of the DICS Program
Jürg Kohlas, Bertrand Meyer, André Schiper
2006 J jnl
Europe's computer scientists take fate into their own hands.
Commun. ACM
Bertrand Meyer, Willy Zwaenepoel
2006 — conf
Object distance and its application to adaptive random testing of object-oriented programs.
Random Testing
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2006 J jnl
Pattern Componentization: The Factory Example.
Innov. Syst. Softw. Eng.
Karine Arnout, Bertrand Meyer
2006 J jnl
Testable, Reusable Units of Cognition.
Computer
Bertrand Meyer
2006 B conf
The Context of Object Computation (extended abstract).
SEFM
Bertrand Meyer
2006 J jnl
The Unspoken Revolution in Software Engineering.
Computer
Bertrand Meyer
2006 A conf
The inverted curriculum in practice.
SIGCSE
Michela Pedroni, Bertrand Meyer
2005 A conf
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.
ECOOP
Bertrand Meyer
2005 — conf
Can Aspects Implement Contracts?.
RISE
Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer
2005 — conf
Doing More with Contracts: Towards Automatic Tests and Proofs.
RISE
Bertrand Meyer
2005 — conf
Eiffel as a Framework for Verification.
VSTTE
Bertrand Meyer
2004 — conf
Making Specifications Complete Through Models.
Architecting Systems with Trustworthy Components
Bernd Schoeller, Tobias Widmer, Bertrand Meyer
2004 — conf
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.
Essays in Memory of Ole-Johan Dahl
Bertrand Meyer
2003 — conf
A Framework for Proving Contract-Equipped Classes.
Abstract State Machines
Bertrand Meyer
2003 C conf
Blueprint for Real Progress in Software Engineering.
APSEC
Bertrand Meyer
2003 J jnl
Concurrent object-oriented programming on .NET.
IEE Proc. Softw.
Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer
2003 J jnl
Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori.
Obj. Logiciel Base données Réseaux
Karine Arnout, Bertrand Meyer
2003 J jnl
On an open issue of programming language phonetics.
J. Object Technol.
Bertrand Meyer
2003 J jnl
Proving Pointer Program Properties. Part 1: Context and overview.
J. Object Technol.
Bertrand Meyer
2003 J jnl
Proving Pointer Program Properties. Part 2: The Overall Object Structure.
J. Object Technol.
Bertrand Meyer
2003 A* conf
The Grand Challenge of Trusted Components.
ICSE
Bertrand Meyer
2003 — conf
The Outside-In Method of Teaching Introductory Programming.
Ershov Memorial Conference
Bertrand Meyer
2003 — conf
Towards Practical Proofs of Class Correctness.
ZB
Bertrand Meyer
2003 J jnl
Uncovering Hidden Contracts: The .NET Example.
Computer
Karine Arnout, Bertrand Meyer
2002 J jnl
Assessing a C# Text.
Computer
Bertrand Meyer
2002 — conf
Finding Implicit Contracts in .NET Components.
FMCO
Karine Arnout, Bertrand Meyer
2002 J jnl
In Memory of Kristen Nygaard and Ole-Johan Dahl.
J. Object Technol.
Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen
2002 J jnl
The Start of an Eiffel Standard.
J. Object Technol.
Bertrand Meyer
2001 J jnl
.NET Is Coming.
Computer
Bertrand Meyer
2001 — conf
A Metric Framework for Object-Oriented Development.
TOOLS (39)
Tanit Talbi, Bertrand Meyer, Emmanuel Stapf
2001 — conf
At the Edge of Design by Contract.
TOOLS (38)
Bertrand Meyer
2001 — conf
Building Trusted Components.
TOOLS (39)
Bertrand Meyer
2001 — conf
Concurrent Object-Oriented Programming.
TOOLS (38)
Bertrand Meyer
2001 — conf
Open Problems in Object-Oriented Programming.
TOOLS (39)
Bertrand Meyer
2001 J jnl
Software Engineering in the Academy.
Computer
Bertrand Meyer
2001 — book
The .NET Training Course
Bertrand Meyer
2000 — conf
Agent-Based Programming In Eiffel.
TOOLS (34)
Bertrand Meyer
2000 — conf
Component-Based Development? Refining the Blueprint.
TOOLS (34)
Roger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour
2000 — conf
Design By Contract and the Component Revolution.
TOOLS (34)
Bertrand Meyer
2000 — conf
Programming with Agents: Combining O-O and Functional Techniques.
TOOLS (33)
Bertrand Meyer
2000 — ed.
TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA
TOOLS (34)
Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer
2000 — conf
The Future of Component-Based Development.
TOOLS (33)
Bertrand Meyer
1999 J jnl
A Really Good Idea.
Computer
Bertrand Meyer
1999 J jnl
Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction.
Computer
Bertrand Meyer, Christine Mingins
1999 J jnl
Design by Contract, Components and Debugging.
J. Object Oriented Program.
Bertrand Meyer
1999 J jnl
Every Little Bit Counts: Toward More Reliable Software.
Computer
Bertrand Meyer
1999 — conf
Managing By Contract.
TOOLS (30)
Bertrand Meyer
1999 J jnl
On To Components.
Computer
Bertrand Meyer
1999 — conf
Seamless Development with the Eiffel Method.
TOOLS (29)
Bertrand Meyer
1999 — ed.
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
TOOLS (30)
Donald Firesmith, Richard Riehle, Gilda Pour, Bertrand Meyer
1999 — conf
The Unity of Software and the Power of Roundtrip Engineering.
TOOLS (30)
Bertrand Meyer
1999 — conf
The Unity of Software and the Power of Roundtrip Engineering.
TOOLS (29)
Bertrand Meyer
1998 J jnl
Approaches to Portability.
J. Object Oriented Program.
Bertrand Meyer
1998 — conf
Can We Make Componentware Succeed?
TOOLS (26)
Bertrand Meyer
1998 — conf
Design by Contract: The Eiffel Method.
TOOLS (26)
Bertrand Meyer
1998 J jnl
Free EiffelBase: Eiffel Libraries Go Open Source.
J. Object Oriented Program.
Bertrand Meyer
1998 J jnl
Is Object Technology Ready for the Embedded World?
J. Object Oriented Program.
Christopher Creel, Bertrand Meyer
1998 — conf
Panel: Issues in Moving to a Component-Based Industry.
TOOLS (26)
Bertrand Meyer
1998 J jnl
Prelude to a Theory of Void.
J. Object Oriented Program.
Bertrand Meyer
1998 J jnl
Providing Trusted Components to the Industry.
Computer
Bertrand Meyer, Christine Mingins, Heinz W. Schmidt
1998 — ed.
TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia
TOOLS (28)
Christine Mingins, Bertrand Meyer
1998 J jnl
Tell Less, Say More: The Power of Implicitness.
Computer
Bertrand Meyer
1998 J jnl
The Component Combinator for Enterprise Applications.
J. Object Oriented Program.
Bertrand Meyer
1998 J jnl
The Future of Object Technology.
Computer
Bertrand Meyer
1998 J jnl
The Power of Round-Trip Engineering.
J. Object Oriented Program.
Bertrand Meyer
1998 J jnl
The Role of Object-Oriented Metrics.
Computer
Bertrand Meyer
1997 — conf
Design by Contract: Making Object-Oriented Programs that Work.
TOOLS (25)
Bertrand Meyer
1997 J jnl
Design by Contract: The Lessons of Ariane.
Computer
Jean-Marc Jézéquel, Bertrand Meyer
1997 — conf
Keynotes.
TOOLS (23)
James Coplien, Joseph Gil, David Harel, Bertrand Meyer
1997 — book
Object-Oriented Software Construction, 2nd Edition
Bertrand Meyer
1997 J jnl
Practice To Perfect: The Quality First Model.
Computer
Bertrand Meyer
1997 J jnl
Ten Years After.
J. Object Oriented Program.
Bertrand Meyer
1997 J jnl
The Next Software Breakthrough.
Computer
Bertrand Meyer
1997 J jnl
The Opportunity of a Millennium.
Computer
Christopher Creel, Bertrand Meyer, Philippe Stephan
1996 — conf
Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract).
ISOTAS
Bertrand Meyer
1996 J jnl
Schema Evolution: Concepts, Terminology, and Solutions.
Computer
Bertrand Meyer
1996 — conf
Static Typing.
ISOTAS
Bertrand Meyer
1996 J jnl
The Conceptual Perspective.
Computer
Bertrand Meyer
1996 J jnl
The Reusability Challenge.
Computer
Bertrand Meyer
1996 J jnl
The many faces of inheritance: a taxonomy of taxonomy.
Computer
Bertrand Meyer
1996 J jnl
Why Your next Project Should use Eiffel.
J. Object Oriented Program.
Bertrand Meyer
1995 — book
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses
Bertrand Meyer
1995 — book
Object Success
Bertrand Meyer
1995 — conf
Static typing.
OOPSLA Addendum
Bertrand Meyer
1995 J jnl
Where Is Software Headed? A Virtual Roundtable.
Computer
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
1994 — book
An Object-Oriented Environment: Principles and Applications
Bertrand Meyer
1994 — conf
Keynote: Uses and Misuses of Inheritance.
TOOLS (13)
Bertrand Meyer
1994 — conf
Library Design.
TOOLS (13)
Bertrand Meyer
1994 — conf
On the Role of Methodology: Advice to the Advisors.
COODBSE
Bertrand Meyer
1994 — book
Reusable Software: The Base Object-Oriented Component Libraries
Bertrand Meyer
1994 — ed.
TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe.
TOOLS (13)
Boris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot
1993 — book
Object-Oriented Applications
Bertrand Meyer, Jean-Marc Nerson
1993 — conf
Object-Oriented Management.
TOOLS (10)
Bertrand Meyer
1993 — ch.
On Formalism in Specifications.
Program Verification
Bertrand Meyer
1993 — conf
Systematic Concurrent Object-Oriented Programming.
TOOLS (11)
Bertrand Meyer
1993 — conf
Systematic Concurrent Object-Oriented Programming.
TOOLS (12/9)
Bertrand Meyer
1993 — conf
Systematic Concurrent Object-Oriented Programming.
TOOLS (12/9)
Bertrand Meyer
1993 J jnl
Systematic Concurrent Object-Oriented Programming.
Commun. ACM
Bertrand Meyer
1993 — ed.
TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe.
TOOLS (10)
Boris Magnusson, Bertrand Meyer, Jean-François Perrot
1993 — ed.
TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
TOOLS (11)
Raimund K. Ege, Madhu S. Singh, Bertrand Meyer
1993 — ed.
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
TOOLS (12/9)
Christine Mingins, William Haebich, John Potter, Bertrand Meyer
1993 — conf
Towards an Object-Oriented Curriculum.
TOOLS (11)
Bertrand Meyer
1992 J jnl
Applying "Design by Contract".
Computer
Bertrand Meyer
1992 — conf
Eiffel: Version 3 and beyond.
Eiffel
Bertrand Meyer
1992 A conf
Ensuring Semantic Integrity of Reusable Objects (Panel).
OOPSLA
Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer
1992 A conf
OOP in Languages Providing Strong, Static Typing (Panel).
OOPSLA
David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
1992 — conf
Object-Oriented Management.
TOOLS (8)
Bertrand Meyer
1992 — ed.
TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe.
TOOLS (7)
Georg Heeg, Boris Magnusson, Bertrand Meyer
1992 — ed.
TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
TOOLS (8)
Raimund K. Ege, Madhu S. Singh, Bertrand Meyer
1991 — conf
Do we know how to find the classes?
TOOLS (5)
Bertrand Meyer
1991 — book
Eiffel: The Language
Bertrand Meyer
1991 — conf
Re-engineering software by isolating abstractions.
TOOLS (5)
Bertrand Meyer
1991 — ed.
TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA.
TOOLS (5)
Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer
1991 — ed.
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia.
TOOLS (6)
John Potter, Mario Tokoro, Bertrand Meyer
1990 — book
Introduction to the Theory of Programming Languages
Bertrand Meyer
1990 J jnl
Lessons from the Design of the Eiffel Libraries.
Commun. ACM
Bertrand Meyer
1990 — book
Objektorientierte Softwareentwicklung
Bertrand Meyer
1989 — book
Eiffel - the environment Version 2.2.
Bertrand Meyer
1989 — book
Eiffel - the libraries Version 2.2.
Bertrand Meyer
1989 J jnl
From Structured Programming to Object-Oriented Design: The Road to Eiffel.
Struct. Program.
Bertrand Meyer
1989 A conf
Objects in their Eyes (Panel).
OOPSLA
Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy
1988 J jnl
Cépage: Toward computer-aided design of software.
J. Syst. Softw.
Bertrand Meyer
1988 J jnl
Eiffel: A language and environment for software engineering.
J. Syst. Softw.
Bertrand Meyer
1988 — book
Object-Oriented Software Construction, 1st edition
Bertrand Meyer
1988 A* ed.
Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988.
ICSE
Tan Chin Nam, Larry E. Druffel, Bertrand Meyer
1987 — conf
EIFFEL: Object-Oriented Design for Software Engineering.
ESEC
Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo
1987 J jnl
Eiffel: programming for reusability and extendibility.
ACM SIGPLAN Notices
Bertrand Meyer
1987 J jnl
Reusability: The Case for Object-Oriented Design.
IEEE Softw.
Bertrand Meyer
1986 A conf
Genericity versus Inheritance.
OOPSLA
Bertrand Meyer
1985 J jnl
Incremental String Matching.
Inf. Process. Lett.
Bertrand Meyer
1985 J jnl
On Formalism in Specifications.
IEEE Softw.
Bertrand Meyer
1985 J jnl
Showing Programs on a Screen.
Sci. Comput. Program.
Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko
1985 A* conf
The Software Knowledge Base.
ICSE
Bertrand Meyer
1984 J jnl
A note on iterative Hanoi.
ACM SIGPLAN Notices
Bertrand Meyer
1984 — book
Méthodes de Programmation, 3rd edition
Bertrand Meyer, Claude Baudoin
1983 J jnl
Some mistakes are worse than others: an open letter to professor David Gries.
ACM SIGSOFT Softw. Eng. Notes
Bertrand Meyer
1982 J jnl
Principles of Package Design.
Commun. ACM
Bertrand Meyer
1982 — conf
Towards a Two-Dimensional Programming Environment.
ECICS
Bertrand Meyer
1980 — conf
A Basis for the Constructive Approach to Programming.
IFIP Congress
Bertrand Meyer
1980 — conf
A Three-Level Approach to the Description of Data Structures, and Notational Framework.
Workshop on Data Abstraction, Databases and Conceptual Modelling
Bertrand Meyer
1980 — conf
Relationships Between and Among Models (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling
John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix
1980 — ch.
Specification Language.
On the Construction of Programs
Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer
1978 J jnl
A Note on Computing Multiple Sums.
Softw. Pract. Exp.
Bertrand Meyer
1978 — book
Méthodes de Programmation, 1st edition
Bertrand Meyer, Claude Baudoin