Voltar
Artigo Revisado por pares
BIBTEX RIS

Rigorous specification using structured systems analysis and Z

1995; Elsevier BV; Volume: 37; Issue: 5-6 Linguagem: Inglês

10.1016/0950-5849(95)99364-s

ISSN

1873-6025

Autores

K. C. Mander, FAC Polack,

Tópico(s)

Advanced Software Engineering Methodologies

Resumo

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.

Referência(s)