Skip to main content

2001 | OriginalPaper | Buchkapitel

Examples

verfasst von : Manfred Broy, Ketil Stølen

Erschienen in: Specification and Development of Interactive Systems

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

The previous chapter classifies FOCUS specifications by syntactic criteria; in particular, it distinguishes among several specification frames and styles. It also introduces the basic FOCUS constructs and notations for writing specifications. In this chapter we apply the basic specification formalism of FOCUS to describe components from the following three application areas.

Metadaten
Titel
Examples
verfasst von
Manfred Broy
Ketil Stølen
Copyright-Jahr
2001
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4613-0091-5_6

Neuer Inhalt