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++.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Nissanke, N. (1999). Object Oriented Specification. In: Formal Specification. Springer, London. https://doi.org/10.1007/978-1-4471-0791-0_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0791-0_8
Publisher Name: Springer, London
Print ISBN: 978-1-85233-002-6
Online ISBN: 978-1-4471-0791-0
eBook Packages: Springer Book Archive