Communications of the ACM（CACM ）的ISSUE 400论文列表

卷期号： Issue 400

发布时间：

卷期年份： 1991

卷期官网：

Implementing Faceted Classification for Software Reuse.

Software and the Programmer.

Specification-Level Interoperability.

LaSSIE: A Knowledge-Based Software Information System.

Expecting the Unexpected Mayday.

Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue).

Testing Made Palatable.

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.

Multilevel Specification of Real Time Systems.