2001 | OriginalPaper | Buchkapitel
Specifications
verfasst von : Manfred Broy, Ketil Stølen
Erschienen in: Specification and Development of Interactive Systems
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.