Software - Practice and Experience （SPE） - Issue 276 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 276 |
| 发布时间： |
| 卷期年份： 1998 |
| 卷期官网： |
本期论文列表
GSL: A Requirements Specification Language for End-User Intelligibility.
An Efficient and Flexible C++ Library for Concurrent Programming.
A Layer on Top of Prolog for Composing Behavioural Constraints.
Use of Executable Formal Specifications in User Validation.