The language Eiffel -- keywords

class -- a model for a set of objects
feature -- attribute, function, procedure
export -- interface declaration
inherit -- class inclusion and subtyping (!)
redefine, rename -- \c{to change} inherited features
deferred -- \c{to} postpone \c{the} implementation
require, ensure, invariant -- assertions

slide: Eiffel -- terminology