A rigorous review technique: using formal notations withinconventional development methods

摘要

The introduction and use of formal (mathematically based)specification in substantial systems development has been hampered bythe additional burdens it places on practitioners. BT and LeedsMetropolitan University, have developed a framework for the gradualintroduction of formal specification starting with its use as a reviewtechnique, applied to a standard range of systems developmentdeliverables such as data and process models. The benefits of thisapproach are immediate and can also be more extensive. The paperdescribes the philosophy behind the general approach; offers an exampleof applying the rigorous review technique; and summarises the benefitsthat can accrue