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 条
  • [31] SYSTEMS-ANALYSIS
    EHRENBERG, ASC
    OPERATIONAL RESEARCH QUARTERLY, 1964, 15 (02) : 147 - 147
  • [32] SYSTEMS-ANALYSIS
    CHANG, SY
    RESEARCH JOURNAL OF THE WATER POLLUTION CONTROL FEDERATION, 1990, 62 (04): : 313 - 318
  • [33] SYSTEMS-ANALYSIS
    STEDINGER, JR
    BELLGRAF, JM
    JOURNAL WATER POLLUTION CONTROL FEDERATION, 1979, 51 (06): : 1092 - 1098
  • [34] SYSTEMS-ANALYSIS
    CHANG, SY
    JOURNAL WATER POLLUTION CONTROL FEDERATION, 1988, 60 (06): : 743 - 746
  • [35] SYSTEMS-ANALYSIS
    RECKHOW, KH
    JOURNAL WATER POLLUTION CONTROL FEDERATION, 1986, 58 (06): : 419 - 421
  • [36] SYSTEMS-ANALYSIS
    CHANG, SY
    WATER ENVIRONMENT RESEARCH, 1992, 64 (04) : 297 - 301
  • [37] STRUCTURED SPECIFICATION OF COMMUNICATING SYSTEMS
    VONBOCHMANN, G
    RAYNAL, M
    IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (02) : 120 - 133
  • [38] SYSTEMS-ANALYSIS TOOLS - WHOS USING THEM
    KIEVIT, K
    MARTIN, M
    JOURNAL OF SYSTEMS MANAGEMENT, 1989, 40 (07): : 26 - 30
  • [39] PLANNING OF WOOD PRODUCTION USING SYSTEMS-ANALYSIS
    WEIR, ICA
    APPITA, 1972, 26 (02): : 107 - 112
  • [40] SYSTEMS-ANALYSIS IN EPIDEMIOLOGY
    KRANZ, J
    HAU, B
    ANNUAL REVIEW OF PHYTOPATHOLOGY, 1980, 18 : 67 - 83
12345