A case study using lightweight formalism to review an information system specification
Fiona Polack · Software Practice and Experience · 2001
Abstract This paper presents an approach using derivation of a formal model to review 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 findings from the trial, which reviewed a pre‐existing commercial specification, are presented, and the general applicability of the review approach is discussed. Copyright © 2001 John Wiley & Sons, Ltd.