Personal Eiffel Framework