CONSTRUCTING SPECIFICATIONS BY COMBINING PARALLEL ELABORATIONS

被引：22
作者：
FEATHER, MS
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 02期
关键词：
D O I：
10.1109/32.21745
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：198 / 208
页数：11
相关论文
共 21 条
[1]  
BALZER R, 1983, P ITT WORKSHOP REUSA, P80
[2]  
BALZER R, 1985, 9TH P INT JOINT C AR, P203
[3]  
BALZER R, 1979, SPECIFICATION RELIAB, P58
[4]  
Balzer R. M., 1982, SIGSOFT Software Engineering Notes, V7, P3, DOI 10.1145/1006258.1006261
[5]  
BURSTALL RM, 1977, 5TH P INT JOINT C AR, P1045
[6]  
DARLINGTON J, 1980, 803 IMP COLL DEP COM
[7]   LANGUAGE SUPPORT FOR THE SPECIFICATION AND DEVELOPMENT OF COMPOSITE SYSTEMS [J].
FEATHER, MS .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (02) :198-234
[8]  
FICKAS S, 1986, 861 U OR DEP COMP SC
[9]   AUTOMATING THE TRANSFORMATIONAL DEVELOPMENT OF SOFTWARE [J].
FICKAS, SF .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) :1268-1277
[10]  
Gehani N., 1986, SOFTWARE SPECIFICATI
123