A case study using lightweight formalism to review an information system specification

This paper presents an approach using derivation of a formal model to revie w the diagram-and-text specification of an information system specification , based on concepts from the formal and structured integrated method, SAZ. Extraction of the formal model is outlined, and the approach is illustrated with a simplified extract from an industrial trial, Some empirical finding s from the trial, which reviewed a preexisting commercial specification, ar e presented, and the general applicability of the review approach is discus sed, Copyright (C) 2001 John Wiley & Sons, Ltd.