Skip to main content

2001 | OriginalPaper | Buchkapitel

A Guided Tour

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 …

Our objective with this chapter is to outline and demonstrate the main specification and development techniques of Focus. The chapter is organized as a guided tour through the Focus method. We briefly explain the most central concepts and notations, we demonstrate the specification and refinement techniques, and we show that Focus Supports a classical stepwise development. Since the task of this chapter is to give a first introduction to FOCUS, the examples are simple, but nevertheless typical for interactive Systems. They all deal with the specification and implementation of unbounded buffers. An unbounded buffer is a queue that can stOre an unbounded number of data elements and return them upon request in the order they arrived.

Metadaten
Titel
A Guided Tour
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_2

Neuer Inhalt