RIGOROUS SPECIFICATION USING STRUCTURED SYSTEMS-ANALYSIS AND Z

被引：13
|
作者：
MANDER, KC
POLACK, FAC
机构：
[1] Department of Computer Science, University of York, Heslington, York
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1995年 / 37卷 / 5-6期
关键词：
SYSTEMS ANALYSIS; FORMAL METHODS; METHODS INTEGRATION; SSADM; Z;
D O I：
10.1016/0950-5849(95)99364-S
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：285 / 291
页数：7
相关论文
共 50 条
12345