Extending Eiffel as a full life-cycle language

One of the Object Technology goals is to offer a seamless transition in the development of systems. One way to ensure this seamless transition is using the same language throughout the process in order to avoid the need for translations between phases or activities. In this paper we present an extension to Eiffel which we propose as a full life-cycle language. This language is capable of being a lingua franca between different analysis and design methodologies and their notations and the CASE tools which support them.