Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Programming language theory
• Object-oriented programming languages
• Combinatory logic
• Enumerated type
• Contract
• Objective-C
• Scope
• Eiffel
• Racket

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model

Really Automatic Scalable Object-Oriented Reengineering Marco Trudel1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 2 1

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Eiffel
• Class
• C++ classes
• Inheritance
• Object-oriented design
• Scala
• Object composition
• This

EIFFEL TOWER REGULATIONS The present regulations have been drawn up by the company in charge of operating the Eiffel Tower (SETE) on behalf of the City of Paris, owner of the monument. They are applicable to visitors to

Source URL: www.toureiffel.paris

• Construction
• Software engineering
• Real estate
• Eiffel Tower
• Eiffel
• Elevator
• Gateway Arch
• Stairs

The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

Source URL: se.inf.ethz.ch

• Theoretical computer science
• Software engineering
• Formal methods
• Logic in computer science
• Software testing
• Formal verification
• Separation logic
• Loop invariant
• Software verification
• Eiffel
• Postcondition
• Invariant

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical

Source URL: se.inf.ethz.ch

• Computing
• Software engineering
• Java platform
• Persistence
• Eiffel
• Object-oriented programming
• Db4o
• Attribute
• Java Platform
• Standard Edition
• Java version history
• Class invariant
• Constructor

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

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

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: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software

Source URL: se.ethz.ch