Software - Practice and Experience （SPE） - Issue 31 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 31 |
| 发布时间： |
| 卷期年份： 1978 |
| 卷期官网： |
本期论文列表
Reliable Software: A Selective Annotated Bibliography.
Economic Range Checks in Pascal.
The Formal Definition of Human/Machine Communications.
MOUSE4: An Improved Implementation of the RATFOR Preprocessor.
An Exercise in the Transportation of an Operating System.
A Note on Computing Multiple Sums.
Error-checking Compilers and Portability.
The Calibration and Validation of a Hybrid Simulation/Regression Model of a Batch Computer System.
Monitoring the Run-time Activity of Algol 68-R Programs.
How I Fought with Hardware and Software and Succeeded.