VALIDATING JS']JSD SPECIFICATIONS BY EXECUTING THEM

被引：1
|
作者：
WARHURST, R
FLYNN, D
机构：
[1] Department of Computation, University of Manchester Institute of Science and Technology, Manchester, M60 1QD, Sackville Street
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1990年 / 32卷 / 09期
关键词：
executable specifications; !text type='JS']JS[!/text]D; rapid prototyping; requirement analysis; specification execution; validation;
D O I：
10.1016/0950-5849(90)90206-7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Users prefer to validate system prototypes rather than specification documents. The paper describes a specification presentation tool, which is founded on the specification execution approach. The tool gives automated assistance to the systems analyst in the presentation of specifications to the user for validation. That is, the user can check that the specification meets the requirements by interacting with an actual system. The software can present specifications developed by the JSD (Jackson System Development) method. The approach taken was to derive executable Lisp code and default screens from Art representations of JSD specifications. © 1990.
引用
收藏
页码：598 / 612
页数：15
相关论文
共 50 条
  • [31] VALIDATING PROGRAMS WITHOUT SPECIFICATIONS
    HOWDEN, WE
    [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 2 - 9
  • [32] THE PASSING GUEST - A LIFE OF KINGSLEY,HENRY - MELLICK,JS']JSD
    PRIESSNITZ, H
    [J]. AAA-ARBEITEN AUS ANGLISTIK UND AMERIKANISTIK, 1988, 13 (02) : 207 - 210
  • [33] CAPTURING DESIGN-RELATED DECISIONS IN JS']JSD METHODOLOGY
    STDENIS, R
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (07) : 509 - 517
  • [34] THE PASSING GUEST, A LIFE OF KINGSLEY,HENRY - MELLICK,JS']JSD
    KRAMER, L
    [J]. OVERLAND, 1984, 96 (SEP): : 60 - 61
  • [35] THE PRESTIGE WORKBENCH - CASE SUPPORT FOR THE IMPLEMENTATION PHASE OF JS']JSD
    RATCLIFF, B
    BOYLE, M
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (06): : 325 - 337
  • [36] THE PASSING GUEST - A LIFE OF KINGSLEY,HENRY - MELLICK,JS']JSD
    STEWART, K
    [J]. CRNLE REVIEWS JOURNAL, 1984, (02): : 66 - 68
  • [37] THE PASSING GUEST, A LIFE OF KINGSLEY,HENRY - MELLICK,JS']JSD
    WILKES, GA
    [J]. SOUTHERLY, 1985, 45 (02): : 244 - 244
  • [38] ALLIES - PEARL HARBOR TO D-DAY - EISENHOWER,JS']JSD
    WILKINSON, JD
    [J]. POLITICAL SCIENCE QUARTERLY, 1984, 99 (02) : 379 - 381
  • [39] Report on the side-effects of Pharmacopuncture Lubricants(CF, Js']JsD)
    Young, Jong Lee
    Min, Hyun Kang
    San, Chung Lim
    Rok, Ki Kwon
    [J]. JOURNAL OF PHARMACOPUNCTURE, 2007, 10 (03) : 137 - 142
  • [40] Lignocellulose degradation by the isolate of Streptomyces griseorubens JS']JSD-1
    Feng, Haiwei
    Sun, Yujing
    Zhi, Yuee
    Mao, Liang
    Luo, Yanqing
    Wei, Xing
    Zhou, Pei
    [J]. FUNCTIONAL & INTEGRATIVE GENOMICS, 2015, 15 (02) : 163 - 173
12345