2001 | OriginalPaper | Buchkapitel
Interface Refinement
Autoren: Manfred Broy, Ketil Stølen
Verlag: Springer New York
Enthalten in: Professional Book Archive
A specification may allow several output histories for the same input history. This is known as underspecification. Behavioral refinement is used to reduce the number of possible output histories for a given input history. Behavioral refinement does not allow output histories to be added; nor does it allow modifications to the syntactic interface. Thus, behavioral refinement characterizes what it means to reduce underspecification.