Browsing by Subject "B"

Now showing items 1-1 of 1

  • Feature refinement

    Reeves, Steve; Streader, David (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. ...