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 条
  • [21] Executing Specifications of Social Reasoning Agents
    Wallace, Iain
    Rovatsos, Michael
    [J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT), 2011, 6619 : 112 - 129
  • [22] Executing formal specifications need not be harmful
    Gravell, A
    Henderson, P
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (02): : 104 - 110
  • [23] LISBON, AN EXCURSION TO THE EAST - PORTUGUESE - MATOS,JS']JSD
    FRANCA, JA
    [J]. COLOQUIO-ARTES, 1994, (101): : 72 - 72
  • [24] Improvements in Digestion Protocols for Trace Element and Isotope Determinations in Stream and Lake Sediment Reference Materials (JS']JSd-1, JS']JSd-2, JS']JSd-3, JLk-1 and LKSD-1)
    Revillon, Sidonie
    Hureau-Mazaudier, Daniele
    [J]. GEOSTANDARDS AND GEOANALYTICAL RESEARCH, 2009, 33 (03) : 397 - 413
  • [25] Gene Expression Alterations by Conditional Knockout of Androgen Receptor in Adult Sertoli Cells of Utp14bjs']jsd/js']jsd (js']jsd) Mice (vol 83, pg 759, 2010)
    Zhou, Wei
    Wang, Gensheng
    Small, Christopher L.
    Liu, Zhilin
    Weng, Connie C.
    Yang, Lizhong
    Griswold, Michael D.
    Meistrich, Marvin L.
    [J]. BIOLOGY OF REPRODUCTION, 2011, 84 (02) : 400 - 766
  • [26] THE PASSING GUEST, A LIFE OF KINGLEY,HENRY - MELLICK,JS']JSD
    SCHEUERLE, WH
    [J]. VICTORIAN STUDIES, 1985, 29 (01) : 167 - 168
  • [27] Executing Specifications Using Synthesis and Constraint Solving
    Kuncak, Viktor
    Kneuss, Etienne
    Suter, Philippe
    [J]. RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 1 - 20
  • [28] Executing formal specifications with concurrent constraint programming
    Wahls T.
    Leavens G.T.
    Baker A.L.
    [J]. Automated Software Engineering, 2000, 7 (04) : 315 - 343
  • [29] Cooperative Distribution Alignment via JS']JSD Upper Bound
    Cho, Wonwoong
    Gong, Ziyu
    Inouye, David I.
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 (NEURIPS 2022), 2022,
  • [30] THE PASSING GUEST - A LIFE OF KINGSLEY,HENRY - MELLICK,JS']JSD
    ELLIOTT, B
    [J]. AUSTRALIAN LITERARY STUDIES, 1984, 11 (03): : 419 - 422
12345