Abstract
During the guided tour of Chapter 2 we demonstrated the various specification techniques of FOCUS. In particular, we distinguished between a number of frames and styles for writing specifications. Each frame and style has application areas in a system development where it is particularly suited. Any FOCUS specification can be syntactically transformed into a standard FOCUS specification describing the required behavior directly by a logical formula on timed streams. Thus, the frames and styles do not increase the expressive power of FOCUS, but help to improve the structure and readability of specifications.
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
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Broy, M., Stølen, K. (2001). Specifications. 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_5
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0091-5_5
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