2001 | OriginalPaper | Buchkapitel
Refinement
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
Chapters 5 through 13 have presented all the description techniques and specification styles that are supported by FOCUS. To make proper use of this specification formalism in a system development process we need a clear understanding of what it means for a specification or a program to refine or implement another specification. In the guided tour of Chapter 2 we already touched on this matter. In this and the following three chapters, we introduce, explain, and define refinement in a much more careful manner.