Methodology to implement an Amoeba complex object server

The paper describes the methodology used in the design of a complex object server application for the Amoeba distributed operating system. It uses the top-down design that was suggested by Parnas, in which a model is turned into an implementation by gradually adding details. The paper also describes the abstraction levels that show up if going from a specification of the behaviour towards an implementation, and shows the methodology in which performance will be measured (instead of estimated) whereas the system has not yet been functionally implemented in its entirety