INFORMALITY IN PROGRAM SPECIFICATIONS

被引：39

作者：

BALZER, R

GOLDMAN, N

WILE, D

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1978年 / 4卷 / 02期

关键词：

D O I：

10.1109/TSE.1978.231480

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：94 / 103

页数：10

相关论文

empty

未找到相关数据