Communications of the ACM （CACM） - Issue 400 论文列表
| 点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： 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.