CRITERIA TO BE USED IN DECOMPOSING SYSTEMS INTO MODULES

被引:1610
作者
PARNAS, DL
机构
关键词
D O I
10.1145/361598.361623
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:1053 / &
相关论文
共 12 条
[1]  
[Anonymous], VIEW PROGRAMMING LAN
[2]  
BALZER RM, 196M P AFIPS FJCC, V31, P535
[3]   STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM [J].
DIJKSTRA, EW .
COMMUNICATIONS OF THE ACM, 1968, 11 (05) :341-&
[4]  
Gauthier R., 1970, DESIGNING SYSTEMS PR
[5]   PROOF OF A PROGRAM - FIND [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1971, 14 (01) :39-&
[6]  
MEALY GH, 1967 P AFIPS FJCC, V31, P525
[7]  
PARNAS D, 1971, CRITERIA USED DECOMP
[8]   TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES [J].
PARNAS, DL .
COMMUNICATIONS OF THE ACM, 1972, 15 (05) :330-&
[9]  
PARNAS DL, 1972, MAR P SIGCSE TECHN S
[10]  
PARNAS DL, 1971, INFORMATION DISTRIBU