论文部分内容阅读
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 defin