Computer-aided prototyping: transformational approach

摘要: Abstract The paper outlines an experiment in the development of a computer-aided prototyping tool. idea is to generate prototype from requirements specification by succession transformations. objective support early validation and easier modification specification. tool involves set transformation rules that transforms non-executable into executable prototype. written algebraic language ELICSIR logic programming Prolog. produced formally correct with respect original In addition, it high-level product keeps sufficient trace specification; this allows be easily adjusted according user's comments about execution. approach illustrated showing application successive steps on short complete example.