Abstract
This chapter will address the question of why formal notations are useful in object-oriented development, both in terms of adherence to standards such as MOD 00–55 [234], and in terms of the general quality improvement obtainable from the use of well-defined notations. Cost benefits will be discussed, based on previous industrial experiences. Other developments in the area, such as the Fusion and Syntropy methods [58, 64], will also be described.
This is a preview of subscription content, log in via an institution to check access.
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
© 1995 Springer-Verlag London Limited
About this chapter
Cite this chapter
Lano, K. (1995). Introduction. In: Formal Object-Oriented Development. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-3073-4_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3073-4_1
Publisher Name: Springer, London
Print ISBN: 978-3-540-19978-6
Online ISBN: 978-1-4471-3073-4
eBook Packages: Springer Book Archive