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

---

唐稚松等主编。

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

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