๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Rigorous specification using structured systems analysis and Z

โœ Scribed by KC Mander; FAC Polack

Book ID
103969737
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
830 KB
Volume
37
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

โœฆ Synopsis

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.

๐Ÿ“œ SIMILAR VOLUMES

Using Z.Specification,refinement,and pro
Using Z.Specification,refinement,and proof
โœ Jim Woodcock, Jim Davies ๐Ÿ“‚ Library ๐Ÿ“… 1996 ๐Ÿ› Prentice Hall ๐ŸŒ English โš– 5 MB

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; thi

Z and system specification
Z and system specification
โœ Darrel Ince ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 776 KB