Abstract: 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 ...