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 条
12345