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 pro...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.
