RETROSPECTIVE SOFTWARE SPECIFICATION

被引：0
|
作者：
HEERJEE, KB [1 ]
MILLER, CJ [1 ]
SAMSON, WB [1 ]
SWANSTON, MT [1 ]
机构：
[1] DUNDEE INST TECHNOL,DUNDEE DD1 1HG,SCOTLAND
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1989年 / 31卷 / 06期
关键词：
D O I：
10.1016/0950-5849(89)90134-1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：324 / 332
页数：9
相关论文
共 50 条
  • [31] SOFTWARE SPECIFICATION BY GRAPH-GRAMMARS
    NAGL, M
    ENGELS, G
    GALL, R
    SCHAFER, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 153 : 267 - 287
  • [32] Architecture specification of multimedia software systems
    Tsai, JJP
    Xu, K
    [J]. IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 1, 1999, : 97 - 102
  • [33] Ab maintain a reliable software specification
    Li, JJ
    Horgan, JR
    [J]. NINTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1998, : 59 - 68
  • [34] MEASUREMENTS IN SOFTWARE REQUIREMENTS SPECIFICATION PROCESS
    GYORKOS, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 893 - 896
  • [35] Software specification and design for imaging systems
    Laplante, PA
    Neill, CJ
    [J]. JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
  • [36] Graphics software specification in CAD/CAM
    Song, Yinghui
    Lu, Dawei
    Bi, Jianping
    [J]. Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 1995, 27 (06): : 72 - 75
  • [37] Stability prediction of the software requirements specification
    José del Sagrado
    Isabel M. del Águila
    [J]. Software Quality Journal, 2018, 26 : 585 - 605
  • [38] Formal specification of evolutionary software agents
    Zhu, H
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 249 - 261
  • [39] FORMAL SPECIFICATION AND THE PRODUCTION OF CORRECT SOFTWARE
    INCE, D
    [J]. MATHEMATICAL INTELLIGENCER, 1984, 6 (02): : 28 - 31
  • [40] Detecting defects in software requirements specification
    Alshazly, Amira A.
    Elfatatry, Ahmed M.
    Abougabal, Mohamed S.
    [J]. ALEXANDRIA ENGINEERING JOURNAL, 2014, 53 (03) : 513 - 527
12345