T007582 计算机软件开发方法、工具和环境

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第801页(199字)

唐稚松等主编。

西北大学出版社1985年8月版。33万字。论文集。共收集论文34篇。

内容包括PAGE——一个支持程序自动生成的软件环境,程序的多维结构和结构的Petri网,Prolog语言的变换语义学及其在软件开发中的应用,XYZ系统的逻辑基础,XYZ/CGG——一个实用的代码生成程序的自动生成系统,二级方法及其实现,编译程序的测试方法与实现等。

分享到: