广谱规格说明语言FGSPEC的设计
On the Design of Wide-Spectrum Specification Language FGSPEC
-
摘要: 本文讨论了广谱规格说明语言FGSPEC 设计中的若干问题,如需求分析、研究途径和规格说明的语法语义描述。Abstract: This paper discusses some problems in the design of wide-spectrum specification languageFGSPEC.such as requirement analysis,research approaches,and syntactic and semantic description ofthe specification.
下载: