Object Oriented Specification

Abstract

The object oriented approach is seen as a radically different approach to both programming and software design. As a paradigm of programming, object oriented programming shares certain features with other paradigms, namely imperative, declarative and functional programming; see, for example, Goldberg and Robson [17]. However, a feature which distinguishes it from the rest is the underlying model of computation, whereby a computation is viewed through the effects brought about by the interaction of computational objects on their internal states. The relevance of the object oriented approach in practical programming is evident from the increasing interest in programming languages such as C⁺⁺.