By the same authors

From the same journal

From the same journal

A Case Study using Lightweight Formalism to Review an Information System Specification

Research output: Contribution to journalArticle



Publication details

JournalSoftware-Practice & experience
DatePublished - 10 Jul 2001
Issue number8
Number of pages24
Pages (from-to)757-780
Original languageEnglish


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 preexisting commercial specification, are presented, and the general applicability of the review approach is discussed, Copyright (C) 2001 John Wiley & Sons, Ltd.

    Research areas

  • information system, systems development, development review, lightweight formal methods, integrated development methods

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations