Abstract
This chapter attempts to give a general overview of the whole of the mural system by working through the development described in Chapter 1. It should be noted, however, that, whilst most of what’s contained herein is the truth (and where it’s not the appropriate confession appears), it is by no means the whole truth — not only has much detail been omitted but the example development has been specifically chosen to make it possible to skip over, or even ignore completely, some of the more esoteric features of the system. These are largely covered in the more detailed descriptions of the separate components of mural to be found in Chapters 3 to 8.
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
© 1991 Springer-Verlag London Limited
About this chapter
Cite this chapter
Jones, C.B., Jones, K.D., Lindsay, P.A., Moore, R.D. (1991). Introduction to mural. In: mural: A Formal Development Support System. Springer, London. https://doi.org/10.1007/978-1-4471-3180-9_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3180-9_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19651-8
Online ISBN: 978-1-4471-3180-9
eBook Packages: Springer Book Archive