Abstract
A characteristic feature of object-oriented program development is its uniform way of structuring all stages of the development by classes: Classes describe objects found during problem analysis, and classes emerge during design and implementation. As classes serve different purposes during the development, they have to be defined in appropriate notations: in a problem-oriented way during analysis and in an efficiently implementable language for the implementation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Goldsack, S.J., Kent, S.J.H. (1996). A Type-Theoretic Basis for an Object-Oriented Refinement Calculus. In: Goldsack, S.J., Kent, S.J.H. (eds) Formal Methods and Object Technology. Formal Approaches to Computing and Information Technology. Springer, London. https://doi.org/10.1007/978-1-4471-3071-0_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3071-0_15
Publisher Name: Springer, London
Print ISBN: 978-3-540-19977-9
Online ISBN: 978-1-4471-3071-0
eBook Packages: Springer Book Archive