“SPECIFICATION PLUS TRANSFORMATION TO PROGRAM”：A NEW MODEL OF SOFTWARE DEVELOPMENT
“SPECIFICATION PLUS TRANSFORMATIONTO PROGRAM”: A NEW MODEL OF SOFTWARE DEVELOPMENT
摘要
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.
