“SPECIFICATION PLUS TRANSFORMATION TO PROGRAM”：A NEW MODEL OF SOFTWARE DEVELOPMENT  

作　　者：沈军 程正潮 

出　　处：《Journal of Southeast University(English Edition)》1995年第2期63-70,共8页东南大学学报（英文版）

摘　　要：In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.

关 键 词：SOFTWARE SPECIFICATION SOFTWARE engineering MODULE softwaredevelopment MODEL 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]