This paper provides an example that illustrates parts of the software life cycle processes of specification, refinement and implementation for the use of inheritance in an object-oriented environment.

Abstract: In software engineering, the imprecise requirements of a user are transformed to a formal requirements specification during the requirements elicitation process. This process is usually ...