14 Sample chapter from Touch of Class: An Introduction to Programming Well Using Objects and Contracts, by Bertrand Meyer, Springer Verlag, 2009. © Bertrand Meyer, Recursion and trees

Source URL: touch.ethz.ch

A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: people.csail.mit.edu

Concurrent Software Engineering and Robotics Education Jiwon Shin∗ , Andrey Rusakov∗ , and Bertrand Meyer∗† ∗ Chair of Software Engineering, Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Robotics
• Robot Operating System
• For Inspiration and Recognition of Science and Technology
• Robot
• Educational technology
• Andrew Ng
• Carnegie Mellon School of Computer Science

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Can Asynchronous Exceptions Expire? Benjamin Morandi, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Software
• Concurrent programming languages
• Control flow
• Object-oriented programming languages
• Exception handling
• SCOOP
• File locking
• Go
• Futures and promises
• Concurrent computing

Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first

Source URL: se.inf.ethz.ch

• Software testing
• Object-oriented programming
• Integrated development environments
• Compilers
• EiffelStudio
• Extreme programming
• Random testing
• Eiffel
• Software bug
• Unit testing
• Computer programming
• Design by contract

Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable

Source URL: people.csail.mit.edu

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

Flexible Invariants Through Semantic Collaboration? Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer Department of Computer Science, ETH Zurich, Switzerland Abstract

Source URL: people.csail.mit.edu

Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/

Source URL: se.inf.ethz.ch

• Computing
• Parallel computing
• Computer programming
• Software engineering
• SCOOP
• File locking
• Communicating sequential processes