PROGRAM-DEVELOPMENT AS A FORMAL ACTIVITY

被引：17

作者：

BROY, M

PEPPER, P

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1981年 / 7卷 / 01期

关键词：

D O I：

10.1109/TSE.1981.230815

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：14 / 22

页数：9

相关论文

empty

未找到相关数据