GSPEC: A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE  

作　　者：戴敏 徐家福 

机构地区：[1]Institute of Computer Software, Nanjing University, Nanjing 210008, PRC

出　　处：《Science China Mathematics》1989年第10期1260-1269,共10页中国科学：数学（英文版）

摘　　要：This paper summarizes the principles and ideas in the design of a graphical specification language, called GSPEC. Based on the requirement analysis of specification languages, a new software decomposition model is proposed, and an abstract data type definition method combining both the algebraic and the flrst-order logic descriptions is adopted in GSPEC. With its graphical representation, the correctness of its specifications can be guaranteed or verified to some extent. The language is powerful and easy to understand. It has been implemented on IBM PC/AT computers and SUN-3/160 C work stations.This paper summarizes the principles and ideas in the design of a graphical specification language, called GSPEC. Based on the requirement analysis of specification languages, a new software decomposition model is proposed, and an abstract data type definition method combining both the algebraic and the flrst-order logic descriptions is adopted in GSPEC. With its graphical representation, the correctness of its specifications can be guaranteed or verified to some extent. The language is powerful and easy to understand. It has been implemented on IBM PC/AT computers and SUN-3/160 C work stations.

关 键 词：GSPEC REQUIREMENT ANALYSIS GRAPHICAL SPECIFICATION language. 

分 类 号：N[自然科学总论]