Answering the systems developer's dilemma: the ObjEx-Malpas rigorous systems development strategy

The author illustrates how users of the ObjEx-Malpas tool-set combination are capturing user-requirements in a formal machine executable specification. It is this executability that allows the animation of specifications, thereby enabling users actually to see what is being proposed, so giving both the specifier and the user confidence in the validity of the proposed end system.<
>