摘要
快速成型是八十年代出现的一种新型软件开发技术,本文从程序变换这一角度出发对快速成型作了探讨。文章叙述了程序交换的基本原理,基于这些原理,研究了从抽象的、不可运行的形式化规格说明变换到具体的、可执行程序的可能性。
Rapid prototyping is a new kind of software development method put
forward in early 80's.This paper attempts to study the new method from the
perspective of program transformation.The paper presents the principles of program
transformation,discusses the possibilities of transforming from abstract,non-
executable formal specification to concrete,executable program using the principles
of program transformations,and points out the directions of further research.
出处
《计算机应用与软件》
CSCD
1990年第6期12-16,11,共6页
Computer Applications and Software
