Formal specification of reusable interface objects
Paulo S. C. Alencar, Donald D. Cowan, Carlos J. P. de Lucena, L. C. M. Nova · 1995
In this paper we present a formal approach of a new object-oriented design concept to support reuse-in-the-large called Abstract Data Views (ADVs). The ADV approach was created to specify clearly and formally the separation of interfaces from the application components of a software system. Such an approach should lead to high degree of reuse of designs for both interface and application components.