TY - JOUR
T1 - Computer-aided prototyping
T2 - transformational approach
AU - Habra, N.
PY - 1991/1/1
Y1 - 1991/1/1
N2 - The paper outlines an experiment in the development of a computer-aided prototyping tool. The idea is to generate a prototype from requirements specification by a succession of transformations. The objective is to support early validation of requirements and easier modification of specification. The tool involves a set of transformation rules that transforms a non-executable specification into an executable prototype. The specification is written in the algebraic language ELICSIR and the prototype in the logic programming language Prolog. The prototype produced by transformation is formally correct with respect to the original specification. In addition, it is a high-level product that keeps a sufficient trace of the original specification; this allows the specification to be easily adjusted according to the user's comments about the prototype execution. The computer-aided prototyping approach is illustrated by showing the application of the successive transformation steps on the specification of a short and complete example.
AB - The paper outlines an experiment in the development of a computer-aided prototyping tool. The idea is to generate a prototype from requirements specification by a succession of transformations. The objective is to support early validation of requirements and easier modification of specification. The tool involves a set of transformation rules that transforms a non-executable specification into an executable prototype. The specification is written in the algebraic language ELICSIR and the prototype in the logic programming language Prolog. The prototype produced by transformation is formally correct with respect to the original specification. In addition, it is a high-level product that keeps a sufficient trace of the original specification; this allows the specification to be easily adjusted according to the user's comments about the prototype execution. The computer-aided prototyping approach is illustrated by showing the application of the successive transformation steps on the specification of a short and complete example.
KW - CASE
KW - computer-aided software engineering
KW - prototyping
KW - requirements specification
KW - requirements validation
KW - transformations
UR - http://www.scopus.com/inward/record.url?scp=0026255846&partnerID=8YFLogxK
U2 - 10.1016/0950-5849(91)90042-A
DO - 10.1016/0950-5849(91)90042-A
M3 - Article
AN - SCOPUS:0026255846
SN - 0950-5849
VL - 33
SP - 685
EP - 697
JO - Information and Software Technology
JF - Information and Software Technology
IS - 9
ER -