By the same authors

From the same journal

RIGOROUS SPECIFICATION USING STRUCTURED SYSTEMS-ANALYSIS AND Z

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalInformation and Software Technology
DatePublished - 1995
Issue number5-6
Volume37
Number of pages7
Pages (from-to)285-291
Original languageEnglish

Abstract

This paper describes the rationale for integrating a structured systems analysis method (SSADM, version 4) and a formal notation (Z). It introduces the SAZ Method and shows how this can be used to add rigour to the specification of the system state and processing in SSADM. The paper concludes by summarizing the results of using SAZ on a number of case studies.

    Research areas

  • SYSTEMS ANALYSIS, FORMAL METHODS, METHODS INTEGRATION, SSADM, Z

Discover related content

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

View graph of relations