Browsing by Subject "B"
Now showing items 1-1 of 1
-
Feature refinement
(IEEE Computer Society, 2007)Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps. ...