Abstract
The development of complex software systems on a large scale is usually a complicated activity and process. It may involve many developers, possibly with different backgrounds, who need to work together as a team or teams in order to ensure the productivity and quality of systems within a required schedule and budget. Each developer plays a specific role, for example, as an analyst, designer, programmer, or tester, and is usually required to produce necessary documents. The documents may need to be provided to other developers in the team for reading or for assisting them in performing their tasks. For this reason the documents need to be well presented, with appropriate languages or notations, so that they can be understood accurately and used effectively.
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
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Liu, S. (2004). Introduction. In: Formal Engineering for Industrial Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07287-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-07287-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05827-1
Online ISBN: 978-3-662-07287-5
eBook Packages: Springer Book Archive