Abstract
The guided tour introduces and demonstrates the specification and refinement techniques of FOCUS. Their most significant aspects are briefly explained and illustrated by small examples. However, these explanations are not very detailed. Thus, based on the guided tour alone, it is hardly possible to gain a deep understanding of FOCUS. In the rest of this book we go through FOCUS for a second time. This time all details are carefully explained.
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
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Broy, M., Stølen, K. (2001). Basics. In: Specification and Development of Interactive Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-0091-5_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0091-5_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6518-4
Online ISBN: 978-1-4613-0091-5
eBook Packages: Springer Book Archive