Abstract
Although we have in mind a particular approach of software construction which we have been developing and using for some years, our intention is not to describe a specific method here, it is only to give a number of guidelines and rules of thumb that we re-discover little by little and which can be used, we think, whatever the technical environment at one’s disposal. Our main concern is the following:
How can we avoid being overwhelmed by complexity?
With the kind permission of ELSEVIER, this paper is a reprint of a paper published in the IFIP 1992 proceedings
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.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this chapter
Cite this chapter
Abrial, JR. (1993). On constructing large software systems. In: Ryan, P., Sennett, C. (eds) Formal Methods in Systems Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-1975-3_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1975-3_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19751-5
Online ISBN: 978-1-4471-1975-3
eBook Packages: Springer Book Archive