Abstract
Object-oriented analysis (OOA) and design methods are used by the software engineering community, while formal description techniques (FDTs) are mainly used in a research environment. Our aim is to produce a rigorous object-oriented analysis method which combines OOA with FDTs to produce a practical method to be used by software engineers. It is desirable for such a method to use standard approaches. As object-oriented FDTs are still under development, and have not yet been standardized, our solution is to choose a standard FDT which can model object-oriented concepts.
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
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). LOTOS in the Object-Oriented Analysis Process. 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_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3071-0_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-19977-9
Online ISBN: 978-1-4471-3071-0
eBook Packages: Springer Book Archive